ISO/IEC 15291:1999
Информационные технологии. Языки программирования. Спецификации интерфейса семантики языка Ada