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