Tapsoft "89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 1989/Volume 2 
Subtitle: (Lecture Notes in Computer Science)
Contributors: F. Orejas (Editor)
Publisher: Springer
Published: May 1989
Number of pages: 389
ISBN-13: 9780387509402
First sentence: VDM stands for a relatively well propagated method for developing deterministic systems software, like compilers, database management systems, application program generators, etc., as well as major parts of non-deterministic, concurrent and distributed software, such as operating systems, local area nets, office automation systems, etc.