Janin, D.; Walukiewicz, I. Automata for the Mu-Calculus and Related Results. BRICS 1995, 2.