HENRIKSEN, J.; JENSEN, O.; J├śRGENSEN, M.; KLARLUND, N.; PAIGE, R.; RAUHE, T.; SANDHOLM, A. MONA: Monadic Second-Order Logic in Practice. BRICS Report Series, v. 2, n. 21, 21 Jan. 1995.