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