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