1. C.B. Jones. Systematic software development using VDM. Prentice-Hall International, Englewood Cliffs NJ, 1986.
2. Lecture Notes in Computer Science;D. Sen,1987
3. K.J. Turner. LOTOS—A practical formal description technique for OSI. Proc. Internat. Conf. on Open Systems, London, 1987, pp. 265–280.