Gabbay, D. M., Hodkinson, I., Reynolds, M., & Finger, M. (1994). Temporal logic: Mathematical foundations and computational aspects. Clarendon Press ; Oxford University Press.
Chicago Style (17th ed.) CitationGabbay, Dov M., Ian Hodkinson, Mark Reynolds, and Marcelo Finger. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford : New York: Clarendon Press ; Oxford University Press, 1994.
MLA (9th ed.) CitationGabbay, Dov M., et al. Temporal Logic: Mathematical Foundations and Computational Aspects. Clarendon Press ; Oxford University Press, 1994.
Warning: These citations may not always be 100% accurate.