L. Aceto and A. Ingólfsdóttir, “A Complete Equational Axiomatization for Prefix Iteration with Silent Steps”, BRICS, vol. 2, no. 5, Jan. 1995.