A.: Design and synthesis of synchronization skeletons using branching time temporal logic (1981)

by E Clarke, Emerson
Venue:Proc. Workshop Logic of Programs, LNCS