Using branching time temporal logic to synthesize synchronization skeletons (1982)

by E Emerson, E Clarke
Venue:Science of Computer programming