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

Kroger, F. (1987). Temporal logic of programs. Springer.

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

Kroger, Fred. Temporal Logic of Programs. Berlin; : Heidelberg: Springer, 1987.

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

Kroger, Fred. Temporal Logic of Programs. Springer, 1987.