APA-Zitierstil (7. Ausg.)

Bundy, A., Smaill, A., & Wiggins, G. (1990). The synthesis of logic programs from inductive proofs.

Chicago-Zitierstil (17. Ausg.)

Bundy, Alan, Alan Smaill, und Geraint Wiggins. The Synthesis of Logic Programs from Inductive Proofs. Edinburgh, 1990.

MLA-Zitierstil (9. Ausg.)

Bundy, Alan, et al. The Synthesis of Logic Programs from Inductive Proofs. 1990.