Aceto, L.; Ingólfsdóttir, A. A Complete Equational Axiomatization for Prefix Iteration With Silent Steps. BRICS 1995, 2.