LOTTE - A LOTOS Environment. - Wilfried H. P. van Hulzen (FORTE, 1988)

LOTOS Extended with Clocks. - Wilfried H. P. van Hulzen; Paul A. J. Tilanus; Han Zuidweg (FORTE, 1989)