ITU-T Z.120 ANNEX B-1998
Схема последовательности сообщений Приложение B: Формальная семантика диаграмм последовательности сообщений СЕРИЯ Z: ЯЗЫКИ И ОБЩИЕ АСПЕКТЫ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ Методы формального описания (FDT) - Схема последовательности сообщений (MSC) (Исследовательская группа 10)