Janin, David, and Igor Walukiewicz. 1995. “Automata for the Mu-Calculus and Related Results”. BRICS Report Series 2 (27). https://doi.org/10.7146/brics.v2i27.19929.