Gabbay, D. M., Hodkinson, I., & Reynolds, M. (1994). Temporal logic: Mathematical foundations and computational aspects. Clarendon.
Cita Chicago Style (17a ed.)Gabbay, Dov M., Ian Hodkinson, y Mark Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford: Clarendon, 1994.
Cita MLA (9a ed.)Gabbay, Dov M., et al. Temporal Logic: Mathematical Foundations and Computational Aspects. Clarendon, 1994.
Precaución: Estas citas no son 100% exactas.