L. Aceto, W. J. Fokkink, og A. Ingólfsdóttir, “A Cook’s Tour of Equational Axiomatizations for Prefix Iteration”, BRICS, bd. 5, nr. 49, jun. 1998.