APA-Zitierstil (7. Ausg.)

Horn, C., & Smaill, A. (1990). Theorem proving and program synthesis with Oyster.

Chicago-Zitierstil (17. Ausg.)

Horn, Christian, und Alan Smaill. Theorem Proving and Program Synthesis with Oyster. Edinburgh, 1990.

MLA-Zitierstil (9. Ausg.)

Horn, Christian, und Alan Smaill. Theorem Proving and Program Synthesis with Oyster. 1990.

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