APA-Zitierstil (7. Ausg.)

Baker, S., & Smaill, A. (1993). A proof environment for arithmetic with the omega rule.

Chicago-Zitierstil (17. Ausg.)

Baker, Siani, und Alan Smaill. A Proof Environment for Arithmetic with the Omega Rule. Edinburgh, 1993.

MLA-Zitierstil (9. Ausg.)

Baker, Siani, und Alan Smaill. A Proof Environment for Arithmetic with the Omega Rule. 1993.