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