Equivalence and transformations of regular systems—applications to recursive program schemes and grammars (1986)

by B Courcelle
Venue:Theoretical Comput. Sci