Ramsay Allan. (1991). Formal methods in artificial intelligence. Cambridge University Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Ramsay Allan. Formal Methods in Artificial Intelligence. Cambridge University Press, 1991.
Παραπομπή σε μορφή MLA (8th εκδ.)Ramsay Allan. Formal Methods in Artificial Intelligence. Cambridge University Press, 1991.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.