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

by B Courcelle
Venue:Theoretical Computer Science