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