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