D. Janin og I. Walukiewicz, “Automata for the mu-calculus and Related Results”, BRICS, bd. 2, nr. 27, jan. 1995.