The temporal logic of branching time (1983)

by Mordechai Ben-Ari, Amir Pnueli, Zohar Manna
Venue:Acta Informatica