F.: Rewriting on cyclic structures: Equivalence between the operational and the categorical description (1999)

by A Corradini, Gadducci
Venue:Informatique Théorique et Applications/Theoretical Informatics and Applications 33