The Temporal Logic of Branching Time (1981)

by M Ben-Ari, Z Manna, A Pnueli
Venue:Eighth ACM Symposium on Principles of Programming Languages