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

Gabbay, D. M., & Ohlbach, H. J. (1994). Temporal logic: First international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings. Springer-Verlag.

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

Gabbay, Dov M., και Hans Jeurgen Ohlbach. Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : Proceedings. Berlin: Springer-Verlag, 1994.

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

Gabbay, Dov M., και Hans Jeurgen Ohlbach. Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : Proceedings. Springer-Verlag, 1994.