ITU-T Z.120 ANNEX B-1998
Cuadro de Secuencia de Mensajes Anexo B: Semántica formal de los Cuadros de Secuencia de Mensajes SERIE Z: LENGUAJES Y ASPECTOS GENERALES DEL SOFTWARE PARA SISTEMAS DE TELECOMUNICACIONES Técnicas de descripción formal (FDT) - Cuadro de Secuencia de Mensajes (MSC) (Comisión de Estudio 10)