APA-Zitierstil (7. Ausg.)

Rushby, J., Henke, F., & Owre, S. (1991). An introduction to formal specification and verification using EHDM.

Chicago-Zitierstil (17. Ausg.)

Rushby, John, Friedrich Henke, und Sam Owre. An Introduction to Formal Specification and Verification Using EHDM. Stanford, Calif, 1991.

MLA-Zitierstil (9. Ausg.)

Rushby, John, et al. An Introduction to Formal Specification and Verification Using EHDM. 1991.