APA-Zitierstil (7. Ausg.)

Constable, R. L., & O'Donnell, M. J. (1978). A programming logic: With an introduction to the PL/CV verifier. Winthrop Publ.

Chicago-Zitierstil (17. Ausg.)

Constable, Robert Lee, und Michael J. O'Donnell. A Programming Logic: With an Introduction to the PL/CV Verifier. Cambridge, Mass: Winthrop Publ, 1978.

MLA-Zitierstil (9. Ausg.)

Constable, Robert Lee, und Michael J. O'Donnell. A Programming Logic: With an Introduction to the PL/CV Verifier. Winthrop Publ, 1978.