J. G. Henriksen, “MONA: Monadic Second-Order Logic in Practice”, BRICS, bd. 2, nr. 21, jan. 1995.