Abramsky, S., Gabbay, D. M., & Maibaum, T. (2000). Handbook of logic in computer science: V, Logic and algebraic methods / volume co-ordinator Dov M. Gabbay. Clarendon Press.
Cita Chicago Style (17a ed.)Abramsky, S., Dov M. Gabbay, y T.S.E Maibaum. Handbook of Logic in Computer Science: V, Logic and Algebraic Methods / Volume Co-ordinator Dov M. Gabbay. Oxford: Clarendon Press, 2000.
Cita MLA (9a ed.)Abramsky, S., et al. Handbook of Logic in Computer Science: V, Logic and Algebraic Methods / Volume Co-ordinator Dov M. Gabbay. Clarendon Press, 2000.
Precaución: Estas citas no son 100% exactas.