APA-Zitierstil (7. Ausg.)

Bundy, A. (1993). Can theorem proving keep the planes flying?

Chicago-Zitierstil (17. Ausg.)

Bundy, Alan. Can Theorem Proving Keep the Planes Flying? Edinburgh, 1993.

MLA-Zitierstil (9. Ausg.)

Bundy, Alan. Can Theorem Proving Keep the Planes Flying? 1993.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.