BOCHMANN, G. v. On the Distributed Implementation of LOTOS. Proc. of 2nd Int. Conf. on Formal Description Techniques (FORTE'89). 1989, 133-146
CHENG, Z. A New Distributed Algorithm for Implementation of LOTOS Multi-Rendezvous. Proc. of 7th Int. Conf. on Formal Description Techniques (FORTE'94). 1994, 483-494
ISO. Information Processing System, Open Systems Interconnection, LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807. 1989