1. I. Ajubi, G. Scollo, and M. van Sinderen. Formal Description of the OSI Session Layer. In P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 89–210. Elsevier Science Publishers B.V. (North-Holland), 1989.
2. D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien, and T. Ware. Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. In M. Calder and E. Magill, editors, Feature Interactions in Telecommunications and Software Systems VI. IOS Press, May 2000.
3. M. Broy, S. Merz, and K. Spies, editors. Formal Systems Specification, volume 1169 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
4. J. Bryans, M. Calder, S. Maharaj, B. Ross, and C. Shankland. Report on Developing a Symbolic Framework for Reasoning about Full LOTOS. Unpublished, 2001.
5. J. Bryans, A. Verdejo, and C. Shankland. Using Rewriting Logic to implement the modal logic FULL. In D. Nowak, editor, AVoCS’01: Workshop on Automated Verification of Critical Systems, 2001. Oxford University Computing Laboratory technical report PRG-RR-01-07.