Bjorner, D. et al eds, "The Vienna Development Method: The Meta- Language", LNCS 61, Springer 1978.
(1978)
Languages mentioned
VDM-SL
{1978}
D. Bjorner, C.B. Jones (1978)
D. Bjorner, C.B. Jones "The Vienna Definition Method - The Metalanguage"