Henriksen, J.G., Jensen, O.J., Jørgensen, M.E., Klarlund, N., Paige, R., Rauhe, T. and Sandholm, A.B. 1995. MONA: Monadic Second-Order Logic in Practice. BRICS Report Series. 2, 21 (Jan. 1995). DOI:https://doi.org/10.7146/brics.v2i21.19923.