1. Aho A. V., Dahbura A. T., Lee D., Uyar M.U., An Optimisation Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours, Proc. Protocol Specification, Test and Verification VIII, 1988
2. Bernot G, Gaudel M-C, Marre B, Software Testing Based on Formal Specifications: a Theory and a Tool, Software Eng. Journal, Nov 1991
3. O. Coudert, J. C. Madre, “Towards a Symbolic Logic Minimization Algorithm”, in Proc. of VLSI Design'93, Bombay, India, January 1993.
4. John Dawes, The VDM-SL Reference Guide, Pitman, 1991.
5. Tim Denvir, Introduction to Discrete Mathematics for Software Engineering, Mac Millan, 1986.