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