Aceto, Luca, og Anna Ingólfsdóttir. “A Complete Equational Axiomatization for Prefix Iteration With Silent Steps”. BRICS Report Series 2, no. 5 (januar 5, 1995). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/19507.