Syntax and semantics of VVSL : a language for structured VDM specifications - Middelburg, Cornelis Adam, 1948-; Universiteit Amsterdam (Amsterdam : s.n., 1990)
Diss. doct.