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

Ramsay, A. (1989). Formal methods in artificial intelligence. Cambridge University Press.

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

Ramsay, Allan. Formal Methods in Artificial Intelligence. Cambridge ; New York: Cambridge University Press, 1989.

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

Ramsay, Allan. Formal Methods in Artificial Intelligence. Cambridge University Press, 1989.