VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings - Bjørner, D. (Dines), 1937- (Springer, 1987)