Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars.

Bruno Courcelle Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars. 1-122 1986 42 Theor. Comput. Sci. db/journals/tcs/tcs42.html#Courcelle86