L. Aceto and W. J. Fokkink, “An Equational Axiomatization for Multi-Exit Iteration”, BRICS, vol. 3, no. 22, Jan. 1996.