Henriksen, Jesper G., Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, og Anders B. Sandholm. “MONA: Monadic Second-Order Logic in Practice”. BRICS Report Series 2, no. 21 (januar 21, 1995). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/19923.