Mordechai Ben-Ari Amir Pnueli Zohar Manna The Temporal Logic of Branching Time. 207-226 1983 20 Acta Inf. db/journals/acta/acta20.html#Ben-AriPM83