Courcelle, B. and Walukiewicz, I. (1995) “Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems”, BRICS Report Series, 2(44). doi: 10.7146/brics.v2i44.19945.