APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Manna, Zohar, und A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. New York ; Tokyo: Springer-Verlag, 1992.

MLA-Zitierstil (9. Ausg.)

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