Proving liveness properties of concurrent programs (1982)

by Susan Owicki, Leslie Lamport
Venue:ACM Transactions on Programming Languages and Systems