Iteration Theories by Zoltan Esik & Stephen L. Bloom