1. IBM Corporation, SNA Format and Protocol Reference Manual: Architecture Logic for LU Type 6.2. Vol. Document SC30–3269–3. IBM Corporation, December 1985.
2. International Telephone and Telegraph Consultative Committee (CCITT), CCITT Recommendation Z.100-Annex D, SDL User Guidelines.
3. (ed.) Using Formal Description Techniques: An Introduction to Estelle, LOTOS, and SDL, Wiley, Chichester, 1993.
4. and , ‘Putting extended sequence charts to practice’, in SDL ′89: The Language at Work, 1989, pp. 3–10.
5. , and , Object-Oriented Software Engineering, Addison-Wesley, Reading, MA, 1992.