(1)
Courcelle, B.; Walukiewicz, I. Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems. BRICS 1995, 2.