LOTOS - Specification language based on temporal ordering. "The Formal
Description Technique LOTOS", P.H.J. van Eijk et al eds, N-H 1989. ISO
8807 (1990).
LOTOS Programming Language
http://www.programming-languages.co.uk/lotos.html
Large list of computer programming languages arranged alphabetically, with explanations.