"Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time."

Orna Kupferman, Moshe Y. Vardi (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics