APA-Zitierstil (7. Ausg.)

Colton, S. (2002). Automated theory formation in pure mathematics. Springer.

Chicago-Zitierstil (17. Ausg.)

Colton, Simon. Automated Theory Formation in Pure Mathematics. London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; Milan ; Paris ; Singapore ; Tokyo: Springer, 2002.

MLA-Zitierstil (9. Ausg.)

Colton, Simon. Automated Theory Formation in Pure Mathematics. Springer, 2002.