Vdm'87: Vdm-A Formal Method at Work 
Subtitle: Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)
Publisher: Springer
Published: April 1987
Language: eng
Number of pages: 422
ISBN-13: 9780387176543
First sentence: In this talk I want to trace the history of VDM by highlighting the important ideas that contributed to its present form and status.