Леонтьев А. В. О надежности, безопасности и читабельности языков программирования на примере языка Ада // Информатика. 2019 Т.16, №4. С.88-98.