ISO 9074:1989

Information processing systems — Open Systems Interconnection — Estelle: A formal description technique based on an extended state transition model

Systèmes de traitement de l'information — Interconnexion de systèmes ouverts — Estelle: Technique de description formelle basée sur un modèle de transition d'état étendu