Verification of Concurrent Programs: Temporal Proof Principles (1981)

by Z Manna, A Pnueli
Venue:Proc. of the Workshop on Logics of Programs, Springer LNCS