1) Prefacio
2) Cláusula 0 – Introducción
3) Cláusula 1 – Alcance
4) Cláusula 2 – Referencias
normativas
5) Subcláusula 3.2 – Definiciones de
la Recomendación UIT-T Z.100
6) Subcláusula 3.3 – Definiciones de
la norma de base Z
7) Anexo A
Anexo A – Formalización computacional
A.1 Formalización del lenguaje de punto de
vista computacional en LOTOS
A.2 Formalización del lenguaje del punto
de vista computacional en SDL
A.3 Formalización del lenguaje de punto de
vista computacional en lenguaje Z
A.4 Formalización del lenguaje de punto de
vista computacional en ESTELLE