Henriksen, J. G. (1995) “MONA: Monadic Second-Order Logic in Practice”, BRICS Report Series, 2(21). doi: 10.7146/brics.v2i21.19923.