L. Aceto og W. J. Fokkink, “An Equational Axiomatization for Multi-Exit Iteration”, BRICS, bd. 3, nr. 22, jan. 1996.