Παραπομπή σε μορφή APA (7η εκδ.)

Kauers, M., Kerber, M., Miner, R., & Windsteiger, W. (2007). Towards Mechanized Mathematical Assistants.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Kauers, Manuel, Manfred Kerber, Robert Miner, και Wolfgang Windsteiger. Towards Mechanized Mathematical Assistants. 2007.

Παραπομπή σε μορφή MLA (9th εκδ.)

Kauers, Manuel, et al. Towards Mechanized Mathematical Assistants. 2007.