author : Sharam Hekmatpour

Books

• Software Prototyping, Formal Methods and VDM. 1988, with Darrel C. Ince