Aceto, Luca, et al. “A Note on an Expressiveness Hierarchy for Multi-Exit Iteration”. BRICS Report Series, vol. 9, no. 40, Sept. 2002, doi:10.7146/brics.v9i40.21755.