sometimes" and "not never" revisited: on branching versus linear time temporal logic (1983)

by E Emerson, J Halpern
Venue:10th ACM Symposium on Principles of Programming Languages