Cita APA (7a ed.)

Manna, Z., & Pnueli, A. (1992). The Temporal logic of reactive and concurrent systems. Springer-Verlag.

Cita Chicago Style (17a ed.)

Manna, Zohar, y Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. New York [etc.]: Springer-Verlag, 1992.

Cita MLA (9a ed.)

Manna, Zohar, y Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.