Abramsky, S., Gabbay, D. M., & Maibaum, T. S. E. (1992). Handbook of logic in computer science. Clarendon Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Abramsky, Samson, Dov M. Gabbay, και Thomas S. E. Maibaum. Handbook of Logic in Computer Science. Oxford: Clarendon Press, 1992.
Παραπομπή σε μορφή MLA (8th εκδ.)Abramsky, Samson, et al. Handbook of Logic in Computer Science. Clarendon Press, 1992.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.