APA Edition Citation

Sheppard, D. (1994). An introduction to formal specification with Z and VDM / Deri Sheppard. McGraw-Hill.

Chicago Edition Citation

Sheppard, Deri. An Introduction to Formal Specification with Z and VDM / Deri Sheppard. London: McGraw-Hill, 1994.

MLA Edition Citation

Sheppard, Deri. An Introduction to Formal Specification with Z and VDM / Deri Sheppard. McGraw-Hill, 1994.

Warning: These citations may not always be 100% accurate.