ACETO, L.; FOKKINK, W. An Equational Axiomatization for Multi-Exit Iteration. BRICS Report Series, v. 3, n. 22, 22 Jan. 1996.