"The Hybrid µ-Calculus."

Ulrike Sattler, Moshe Y. Vardi (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics