Verification of Concurrent Programs: Temporal Proof Principles (1981)

by Z Manna, A Pnueli
Venue:Lecture Notes in Computer Science, no. 131 (Proc. of the Workshop on Logics of Programs