Hekmatpour, S., & Ince, D. (1988). Software prototyping, formal methods and VDM. Addison-Wesley.
Cita Chicago Style (17a ed.)Hekmatpour, Sharam, y D. Ince. Software Prototyping, Formal Methods and VDM. Wokingham [etc.]: Addison-Wesley, 1988.
Cita MLA (9a ed.)Hekmatpour, Sharam, y D. Ince. Software Prototyping, Formal Methods and VDM. Addison-Wesley, 1988.
Precaución: Estas citas no son 100% exactas.