Return to Article Details A Cook’s Tour of Equational Axiomatizations for Prefix Iteration Download Download PDF