Proving Liveness Properties of Temporal Logic (1982)

by S S Owicki, L Lamport
Venue:Trans. on Programming Languages and Systems