Aceto, Luca, Willem Jan Fokkink, Rob J. van Glabbeek, and Anna Ingólfsdóttir. 1995. “Axiomatizing Prefix Iteration With Silent Steps”. BRICS Report Series 2 (56). https://doi.org/10.7146/brics.v2i56.19957.