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

by E A Emerson, J Y Halpern
Venue:In Proc. 10th Annual ACM Symposium on Principles of Programming Languages (POPL