Aceto, L.; Fokkink, W. J.; Ingólfsdóttir, A. A Cook’s Tour of Equational Axiomatizations for Prefix Iteration. BRICS 1998, 5.