Software prototyping, format methods and VDM - Hekmatpour, Sharam 1961-; Ince, Darrel (Wokingham, England Addison-Wesley, 1988)
Keywords: Computer software -- Development