Техническое соглашение

"Разработка и реализация языка программирования весьма высокого уровня, допускающего компактную и проверяемую формулировку сложных процедур".