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