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