Sometimes” and “not never” revisited: On branching versus linear time (1983)

by E A Emerson, J Y Halpern
Venue:in Conference Record of the 10th Annual ACM Symposium on Principles of Programming Languages, POPL ’83, ACM