"The Temporal Logic of Branching Time."

Mordechai Ben-Ari, Zohar Manna, Amir Pnueli (1981)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics