APA (7th ed.) Citation

Gannon, J. D., Purtilo, J. M., & Zelkowitz, M. V. (1994). Software specification: A comparison of formal methods. Ablex Publ.

Chicago Style (17th ed.) Citation

Gannon, John D., James M. Purtilo, and Marvin V. Zelkowitz. Software Specification: A Comparison of Formal Methods. Norwood, NJ: Ablex Publ, 1994.

MLA (9th ed.) Citation

Gannon, John D., et al. Software Specification: A Comparison of Formal Methods. Ablex Publ, 1994.