Books
- B. Banieqbal,
H. Barringer, and A. Pnueli, editors.
Temporal Logic in Specification, volume 398 of
Lecture Notes in Computer Science.
Springer-Verlag, 1987.
- Z. Manna and A. Pnueli.
The Temporal Logic of Reactive and Concurrent Systems:
Specification.
Springer-Verlag, New York, 1991.
- Z. Manna and A. Pnueli.
Temporal Verification of Reactive Systems: Safety.
Springer-Verlag, New York, 1995.
- A. Pnueli and H. Lin,
editors.
Logic and Software Engineering.
World Scientific, Singapore, 1996.