Iteration theories : the equational logic of iterative processes - Bloom, Stephen L., 1940-2010 (EATCS monographs on theoretical computer science, 1993)