1. Gerard J. Holzmann. The Power of Ten – Rules for Developing Safety Critical Code1, 4 стр. англ. язык.
2. JPL Institutional Coding Standard for the C Programming Language, 22 стр. англ. язык.
Обе статьи посвящены стандартам кодирования при разработке надёжного ПО, используемым в Jet Propulsion Laboratory, NASA. Эта организация, например, разрабатывала марсоход Curiosity, работающий на Марсе с августа 2012 года по сей день без единой ошибки.
