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

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

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

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

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

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