1. CCITT, Specifications of Signalling System No. 7, Recommendations Q.721–Q.766, CCITT IXth Plenary Assembly, Nov. 1988, ISBN 92–61-03521–3.
2. Telecommunications Systems Engineering using SDL;Saracco,1989
3. Holzmann, Gerard J. and Patti, Joanna, Validating SDL Specifications: an Experiment, Proc. 9th IFIP WG6.1 Int. Workshop on Protocol Specification, Testing, and Verification, North-Holland Publ., Amsterdam, 1989.
4. Design and Validation of Computer Protocols;Holzmann,1991
5. Yannakakis, Mihalis and Lee, David, Testing Finite State Machines, Proceedings of the 23rd annual ACM Symposium on Theory of Computing, New Orleans, May 1991, pp. 476–485.