Janin, David, og Igor Walukiewicz. “Automata for the Mu-Calculus and Related Results”. BRICS Report Series 2, no. 27 (januar 27, 1995). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/19929.