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