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

Wos, L., & Pieper, G. W. (2003). Automated reasoning and the discovery of missing and elegant proofs. Rinton Press.

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

Wos, Larry, και Gail W. Pieper. Automated Reasoning and the Discovery of Missing and Elegant Proofs. New Jersey: Rinton Press, 2003.

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

Wos, Larry, και Gail W. Pieper. Automated Reasoning and the Discovery of Missing and Elegant Proofs. Rinton Press, 2003.