Aceto L, Fokkink WJ, Glabbeek RJ van, Ingólfsdóttir A. Axiomatizing Prefix Iteration with Silent Steps. BRICS [Internet]. 1995 Nov. 26 [cited 2024 Dec. 18];2(56). Available from: https://tidsskrift.dk/brics/article/view/19957