Информационные технологии. Переносимая универсальная инструментальная среда (PCTE). Часть 1. Абстрактная спецификация
