Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic (1981)

by E M Clarke, E A Emerson
Venue:In Proc. of the Workshop on Logics of Programs, volume 131 of LNCS, Yorktown Heights