L. Aceto, W. J. Fokkink, and A. Ingólfsdóttir, “A Note on an Expressiveness Hierarchy for Multi-exit Iteration”, BRICS, vol. 9, no. 40, Sep. 2002.