APA-Zitierstil (7. Ausg.)

Manna, Z., & Pnueli, A. (1992). The temporal logic of reactive and concurrent systems. Specification ([1st ed.].). Springer.

Chicago-Zitierstil (17. Ausg.)

Manna, Zohar, und Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Specification. [1st ed.]. New York: Springer, 1992.

MLA-Zitierstil (9. Ausg.)

Manna, Zohar, und Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Specification. [1st ed.]. Springer, 1992.