APA Format
Hekmatpour, Sharam; Ince, Darrel. (1988).
Software prototyping, formal methods and VDM / Sharam Hekmatpour, Darrel Ince
. Wakingham, England :: Addison Wesley,.
MLA Format
Hekmatpour, Sharam; Ince, Darrel.
Software prototyping, formal methods and VDM / Sharam Hekmatpour, Darrel Ince
. Wakingham, England :: Addison Wesley,, 1988
Chicago Format
Hekmatpour, Sharam; Ince, Darrel. Software prototyping, formal methods and VDM / Sharam Hekmatpour, Darrel Ince. Wakingham, England :: Addison Wesley,, 1988.