Vdm 91: Formal Software Development Methods : 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991 
Subtitle: Procee (Lecture Notes in Computer Science)
Contributors: W. J. Toetenel (Editor); Vdm-Europe (Corporate Author)
Publisher: Springer
Published: November 1991
Number of pages: 430
ISBN-13: 9780387548685