A.: The temporal logic of branching time (1983)

by M Ben-Ari, Z Manna, Pnueli
Venue:Acta Informatica