1. SDL with Applications from Protocol Specification;Belina,1991
2. L. Doldi and P. Gauthier: VEDA 2: Power to the Protocol Designers, 5th International Conference on Formal Description Techniques, Lannion, France, 1992, North Holland.
3. B. Algayres, Y. Lejeune, F. Hugonnet and F. Hantz: The AVALON Project: A VALidatiON Environment for SDL/MSC Descriptions, SDL'93 Forum, 1993.
4. G. J. Holzmann: Design and Validation of Computers Protocols, Prenctice Hall Software Series, 1991.
5. G. J. Holzmann: Proving the Value of Formal Methods, 7th International Conference on Formal Description Techniques, Berne, Switzerland, 1994.