Iteration theories. The equational logic of iterative processes. - Springer Verlag, 1993. - ( EATCS Monographs on Theoretical Computer Science ).