Equivalences and Transformations of Regular Systems applications to (1986)

by B Courcelle
Venue:Program Schemes and Grammars, Theoretical Computer Science