Aceto, L., og A. Ingólfsdóttir. “A Complete Equational Axiomatization for Prefix Iteration With Silent Steps”. BRICS Report Series, bd. 2, nr. 5, januar 1995, doi:10.7146/brics.v2i5.19507.