Aceto, Luca, and Anna Ingólfsdóttir. 1995. “A Complete Equational Axiomatization for Prefix Iteration With Silent Steps”. BRICS Report Series 2 (5). https://doi.org/10.7146/brics.v2i5.19507.