Transition diagram systems and normal form transformations (1998)

by D Giammarresi, D Wood
Venue:In Proceedings of the Sixth Italian Conference on Theoretical Computer Science