ITU-T Z.130-2003
Язык расширенного определения объектов (eODL): методы разработки распределенных программных компонентов. Обозначения концептуальных основ и сопоставления технологий. СЕРИЯ Z: ЯЗЫКИ И ОБЩИЕ АСПЕКТЫ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ Формальное описание