Aceto, L.; Fokkink, W. J.; Glabbeek, R. J. van; Ingólfsdóttir, A. Axiomatizing Prefix Iteration With Silent Steps. BRICS 1995, 2.