The equational logic of iterative processes