Sometimes’ and ’not never’ revisited: on branching versus linear time (1986)

by E Emerson, J Halpern
Venue:Journal of the ACM