(1)
Aceto, L.; Fokkink, W. J. An Equational Axiomatization for Multi-Exit Iteration. BRICS 1996, 3.