Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time (1983)

by E A Emerson, J Y Halpern
Venue:In 10th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’83