Brinksma, E. On the Design of Extended LOTOS. PhD Thesis, Twente University (NL), 1988.
(1988)
Languages mentioned
E-LOTOS
{1998}
LOTOS
{1989} Specification language based on temporal ordering