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