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

Ohrstrom, P., & Hasle, P. F. V. (1995). Temporal logic: From ancient ideas to artificial intelligence. Kluwer Academic.

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

Ohrstrom, Peter, και Per F. V. Hasle. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Dordrecht ; Boston: Kluwer Academic, 1995.

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

Ohrstrom, Peter, και Per F. V. Hasle. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Kluwer Academic, 1995.