1. Formal Specification & Software Development;Bjørner,1982
2. A Theory of Communicating Processes Value-passing;Hennessy,1990
3. ISO SC22/WG19 (1991). VDM Specification Language — Proto-Standard. Draft dated 9th March.
4. Systematic Software Development Using VDM;Jones,1990
5. Larsen, P.G. A. Tarlecki, W. Pawlowski, and M. Borzyszkowski, M. Wieth (1990). The Dynamic Semantics of the BSI/VDM Specification Language. Technical report, IFAD, The institute of Applied Computer Science, Munkebjergsvaenget 17, DK-5230 Odense M, Denmark.