Aceto L, Fokkink WJ, Ingólfsdóttir A. A Cook’s Tour of Equational Axiomatizations for Prefix Iteration. BRICS [Internet]. 1998 Jun. 19 [cited 2026 Feb. 10];5(49). Available from: https://tidsskrift.dk/brics/article/view/19494