Bolognesi, T. and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Network ISDN Systems, 14(1), 1987.
(1987)
Languages mentioned
LOTOS
{1989} Specification language based on temporal ordering