Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (1982)

by Edmund M. Clarke, E. Allen Emerson
Venue:In: Kozen, D., Ed., Logics of Programs