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

Chang, C., & Lee, R. C. (1987). Symbolic logic and mechanical theorem proving. Academic Press.

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

Chang, Chin-Liang, και Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Boston: Academic Press, 1987.

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

Chang, Chin-Liang, και Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1987.