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