APA (7th ed.) Citation

Hekmatpour, S., & Ince, D. (1988). Software prototyping, formal methods, and VDM. Addison-Wesley.

Chicago Style (17th ed.) Citation

Hekmatpour, Sharam, and D. Ince. Software Prototyping, Formal Methods, and VDM. Workingham, Eng. : Reading, MA: Addison-Wesley, 1988.

MLA (9th ed.) Citation

Hekmatpour, Sharam, and D. Ince. Software Prototyping, Formal Methods, and VDM. Addison-Wesley, 1988.