Aceto, L., Fokkink, W. J. and Ingólfsdóttir, A. (1998) “A Cook’s Tour of Equational Axiomatizations for Prefix Iteration”, BRICS Report Series, 5(49). doi: 10.7146/brics.v5i49.19494.