Syntax and semantics of VVSL : a language for structured VDM specifications / - Middelburg, Cornelis Adam (s.n., 1990)