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