Tilbage til artikeldetaljer A Cook’s Tour of Equational Axiomatizations for Prefix Iteration Download Download PDF