Verification of concurrent programs: A temporal proof system (1983)

by Z Manna, A Pnueli
Venue:In Foundations of Compute Science IV, Distributed Systems: Part 2