COURCELLE, B.; WALUKIEWICZ, I. Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems. BRICS Report Series, v. 2, n. 44, 14 Jun. 1995.