1. Boehm, B., 1981. Software Engineering Economics. Prentice-Hall, Englewood Cliffs, NJ
2. CCITT, 1987. Recommendation Z.100: Specification and Description Language, Com X-R15-E
3. Grassl, W., Kossmann, H., 1990. Automated implementation and testing of SDL protocol specification. Proceedings of the Second International Workshop on Protocol Test Systems. North-Holland, Amsterdam
4. ISO/IEC 9646-1, 1991. Information Technology – Open Systems Interconnection – Conformance Testing Methodology and Framework, Part 1: General concepts, Part 2: Abstract test suite specification, Part 3: The tree and tabular combined notation, Part 4: Test realisation, Part 5: Requirements on test laboratories and clients for the conformance assessment process
5. ISO/IEC JTC 1/SC 21/WG1 N 1234, 1993. Working draft on formal methods in conformance testing, meeting held in Cedex, France