ISO 8807:1989

Information processing systems -- Open Systems Interconnection -- LOTOS -- A formal description technique based on the temporal ordering of observational behaviour

Systèmes de traitement de l'information -- Interconnexion de systèmes ouverts -- LOTOS -- Technique de description formelle basée sur l'organisation temporelle de comportement observationnel