ISO/IEC 25436:2006
Информационные технологии. Эйфель. Анализ и язык программирования