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

by Edmund M Clarke, E Allen Emerson
Venue:In Logic 66 Programs, volume 620 of LNCS