Rewriting on cyclic structures: Equivalence between the operational and the categorical descriptionAndrea Corradini and Fabio GadducciRAIRO-Theor. Inf. Appl., 33 4-5 (1999) 467-493DOI: https://doi.org/10.1051/ita:1999128
