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