Proving liveness properties of concurrent programs (1982)

by S Owicki, L Lamport
Venue:ACM Transactions on Programming Languages and Systems