Verification of concurrent programs: Temporal proof principles (1982)

by Z Manna, A Pnueli
Venue:Also, Computer Science Report, Stanford University