Henriksen JG, Jensen OJ, Jørgensen ME, Klarlund N, Paige R, Rauhe T, m.fl. MONA: Monadic Second-Order Logic in Practice. BRICS [Internet]. 21. januar 1995 [henvist 5. december 2025];2(21). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19923