APA (7th ed.) Citation

Gabbay, D. M., Hodkinson, I., & Reynolds, M. (1994). Temporal logic: Mathematical foundations and computational aspects. Clarendon.

Chicago Style (17th ed.) Citation

Gabbay, Dov M., Ian Hodkinson, and Mark Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford: Clarendon, 1994.

MLA (9th ed.) Citation

Gabbay, Dov M., et al. Temporal Logic: Mathematical Foundations and Computational Aspects. Clarendon, 1994.