Introduction to LOTOS through a worked example. - Lynne Drayton; Amanda G. Chetwynd; Gordon S. Blair (Comput. Commun., 1992)