Software prototyping, formal methods and VDM - Hekmatpour, Sharam; Ince, Darrel 1948- (International computer science series, 1988)