L. Aceto, W. J. Fokkink, R. J. van Glabbeek, and A. Ingólfsdóttir, “Axiomatizing Prefix Iteration with Silent Steps”, BRICS, vol. 2, no. 56, Nov. 1995.