Iteration theories : the equational logic of iterative processes / Stephen L. Bloom ; Zoltán Ésik