Iteration theories : the equational logic of iterative processes / Stephen L. Bloom ; Zoltán Ésik. Berlin [u.a.] : Springer, 1993