Vienna Development Method Specification Language. (Also known as Meta-IV.) Model-oriented specification language, upon which the Vienna Development Method is based. ISO draft Apr 1993. Version: BSI/VDM.
FTP. E-mail: <derek@mcs.le.ac.uk>.
["The Vienna Development Method: The Meta-Language", D. Bjorner et al eds, LNCS 61, Springer 1978].
["The VDM-SL Reference Guide", J. Dawes, Pitman 1991]. ["Systematic Software Development Using VDM", C.B. Jones, P-H 1989].