1. Bolognesi T., Brinksma E. (1988) Introduction to the ISO specification language Lotos. Computer Networks and ISDN Systems 14 (1): 25 – 59
2. Bolognesi T., van de Lagemaat J., Vissers C. A., Eds. (1995) The LotosSphere Project. Kluwer Academic Publishers, London, UK
3. 10th Annual Symposium on Principles of Programming Languages;E Clarke,1983
4. Fernández J.-C., Garavel H., Kerbrat A., Mateescu R., Mounier L., Sighireanu M. (1996) CADP (Cæsar/Aldébaran Development Package): A protocol validation and verification toolbox. In: Alur R., Henzinger T. A. (Eds.) 8th Conference on Computer-Aided Verification, Number 1102 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, 437 – 440
5. CONCUR’91;J-C Fernández,1991