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

Wos, L., Overbeek, R. A., & Boyle, J. (1992). Automated Reasoning: Introduction and Applications (2nd ed.). McGraw-Hill.

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

Wos, Larry, Ross A. Overbeek, και Jim Boyle. Automated Reasoning: Introduction and Applications. 2nd ed. New York: McGraw-Hill, 1992.

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

Wos, Larry, et al. Automated Reasoning: Introduction and Applications. 2nd ed. McGraw-Hill, 1992.