[1]
Aceto, L. and Fokkink, W. 1996. An Equational Axiomatization for Multi-Exit Iteration. BRICS Report Series. 3, 22 (Jan. 1996). DOI:https://doi.org/10.7146/brics.v3i22.19985.