Iteration theories : the equational logic of iterative processes - Bloom, Stephen L., 1940-2010 (Springer-Verlag, 1993)