APA (7th ed.) Citation

Goguen, J. A., & Malcolm, G. (2000). Software Engineering with OBJ: Algebraic Specification in Action (1st ed. 2000.). Springer US. https://doi.org/10.1007/978-1-4757-6541-0

Chicago Style (17th ed.) Citation

Goguen, Joseph A., and Grant Malcolm. Software Engineering with OBJ: Algebraic Specification in Action. 1st ed. 2000. New York, NY: Springer US, 2000. https://doi.org/10.1007/978-1-4757-6541-0.

MLA (9th ed.) Citation

Goguen, Joseph A., and Grant Malcolm. Software Engineering with OBJ: Algebraic Specification in Action. 1st ed. 2000. Springer US, 2000. https://doi.org/10.1007/978-1-4757-6541-0.