APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) 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.