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