CHENG, Z. A New Distributed Algorithm for Implementation of LOTOS Multi-Rendezvous. Proc. 7th Int. Conf. on Formal Description Techniques. 1994, 493-504
DUBUIS, E. An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports. Proc. 2nd Int. Conf. on Formal Description Techniques. 1990, 163-177
ISO. Information Processing System, Open Systems Interconnection, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807. 1989
ISO/IEC/TR. Information Technology - Open Systems Interconnection - Guidelines for the application of Estelle, LOTOS and SDL. 1991