Didier Caucal On infinite transition graphs having a decidable monadic theory. 79-115 2003 290 Theor. Comput. Sci. 1 db/journals/tcs/tcs290.html#Caucal03