J. G. Henriksen, “MONA: Monadic Second-Order Logic in Practice”, BRICS, vol. 2, no. 21, Jan. 1995.