VDM '87. VDM - A formal method at work : VDM-Europe symposium 1987. Proceedings, Brussels, Belgium, March 23-26, 1987 - Lucas, Peter (Lecture notes in computer science, 1987)