Janin D, Walukiewicz I. Automata for the mu-calculus and Related Results. BRICS [Internet]. 27. januar 1995 [henvist 6. december 2025];2(27). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19929