(1)
Henriksen, J.; Jensen, O.; Jørgensen, M.; Klarlund, N.; Paige, R.; Rauhe, T.; Sandholm, A. MONA: Monadic Second-Order Logic in Practice. BRICS 1995, 2.