Janin, D. and Walukiewicz, I. (1995) “Automata for the mu-calculus and Related Results”, BRICS Report Series, 2(27). doi: 10.7146/brics.v2i27.19929.