Øhrstrøm, P., & Hasle, F. V. P. (1995). Temporal Logic: From Ancient Ideas to Artificial Intelligence. Springer Netherlands.
Παραπομπή σε μορφή Chicago (17η εκδ.)Øhrstrøm, Peter, και F. V. Per Hasle. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Dordrecht: Springer Netherlands, 1995.
Παραπομπή σε μορφή MLA (8th εκδ.)Øhrstrøm, Peter, και F. V. Per Hasle. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Springer Netherlands, 1995.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.