APA (7th ed.) Citation

Smith, G. (2000). The Object-Z Specification Language (1st ed. 2000.). Springer US. https://doi.org/10.1007/978-1-4615-5265-9

Chicago Style (17th ed.) Citation

Smith, Graeme. The Object-Z Specification Language. 1st ed. 2000. New York, NY: Springer US, 2000. https://doi.org/10.1007/978-1-4615-5265-9.

MLA (9th ed.) Citation

Smith, Graeme. The Object-Z Specification Language. 1st ed. 2000. Springer US, 2000. https://doi.org/10.1007/978-1-4615-5265-9.