Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

Gabbay, Dov M., Ian Hodkinson, και Mark Raynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford: Clarendon press, 1994.

Παραπομπή σε μορφή MLA (9th εκδ.)

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