ISO/IEC 13817-1:1996 Информационные технологии. Языки программирования, их среды и интерфейсы системного программного обеспечения. Венский метод разработки. Язык спецификации. Часть 1. Базовый язык
Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language