Iteration theories : the equational logic of iterative processes - Bloom, Stephen L., 1940-2010 (EATCS Monographs on Theoretical Computer Science, 1993)