1. Specification and Description Language (SDL)“, ITU-T Recommendation Z.100, November 1999
2. J. Harju, A. Karila, J. Kuittinen, J. Malka: “CVOPS, a tool for the implementation and testing of computer communications software”, Technical Research Centre of Finland, Telecommunications Laboratory, 1986
3. N. Hutchinson, L. Peterson, “The x-Kernel: An Architecture for Implementing Network Protocols”, IEEE Transactions on Software Engineering, Vol. 17, No.l, January 1991
4. H. Haverinen, “NAAP: A User-to-Network authentication Protocol”, Proceedings of Smartnet 2002 Conference, April 2002
5. P.C. Poole, W.M. Waite, “Portability and Adaptability”, Advanced Course on Software Engineering, Lecture notes in Economics and Mathematical Systems 81, Springer 1973