Design and synthesis of synchronization skeletons using branching-time temporal logic (1981)

by E M Clarke, E A Emerson
Venue:In Logic of Programs, volume 131 of LNCS