Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

Manna, Zohar, and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. 1992.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.