D. Bjorner, C.B. Jones "The Vienna Definition Method - The Metalanguage"

Bjorner, D. et al eds, (1978) Bjorner, D. et al eds, "The Vienna Development Method: The Meta- Language", LNCS 61, Springer 1978.  

Languages mentioned Vienna Definition Language {1965} Formal language description language