Vdm 91: Formal Software Development Methods 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: H. Toetenel (Editor)
Publisher: Springer
Published: November 1991
Number of pages: 699
ISBN-13: 9780387548340