The Temporal Logic of Branching Time (1983)

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