Design and synthesis of synchronization skeletons using branching time temporal logic,” in (1981)

by E M Clarke, E A Emerson
Venue:Proc. Workshop on Logics of Programs,