Παραπομπή APA

(1987). Temporal Logic of Programs. Berlin: Springer.

Παραπομπή Chicago Style

Temporal Logic of Programs. Berlin: Springer, 1987.

Παραπομπή MLA

Temporal Logic of Programs. Berlin: Springer, 1987.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.