Cita APA (7a ed.)

Manna, Z., & Pnuieli, A. (1995). Temporal verification of reactive systems: Safety (1a. ed.). [S.n.].

Cita Chicago Style (17a ed.)

Manna, Zohar, y Amir Pnuieli. Temporal Verification of Reactive Systems: Safety. 1a. ed. Nueva York: [S.n.], 1995.

Cita MLA (9a ed.)

Manna, Zohar, y Amir Pnuieli. Temporal Verification of Reactive Systems: Safety. 1a. ed. [S.n.], 1995.