Cita APA (7a ed.)

Kröger, F. (1987). Temporal logic of programs. Springer.

Cita Chicago Style (17a ed.)

Kröger, Fred. Temporal Logic of Programs. Berlin [etc.]: Springer, 1987.

Cita MLA (9a ed.)

Kröger, Fred. Temporal Logic of Programs. Springer, 1987.