Janin, David, and Igor Walukiewicz. “Automata for the Mu-Calculus and Related Results”. BRICS Report Series 2, no. 27 (January 27, 1995). Accessed April 28, 2024. https://tidsskrift.dk/brics/article/view/19929.