Software prototyping formal methods and VDM - Hekmatpour, Sharam (International Computer Science Series, 1988)