Return to Article Details An Equational Axiomatization for Multi-Exit Iteration Download Download PDF