Henriksen, J.G. et al. 1995. MONA: Monadic Second-Order Logic in Practice. BRICS Report Series. 2, 21 (Jan. 1995). DOI:https://doi.org/10.7146/brics.v2i21.19923.