[1]
L. Aceto, W. J. Fokkink, and A. Ingólfsdóttir, “A Cook’s Tour of Equational Axiomatizations for Prefix Iteration”, BRICS, vol. 5, no. 49, Jun. 1998.