The temporal logic of branching time (1983)

by M Ben-Ari, A Pnueli, Z Manna
Venue:In Proc. of 8 th Annual Sym. on Principles of Programming Languages