Stephen L. Bloom, Zoltán Ésik. Iteration Theories - The Equational Logic of Iterative Processes. EATCS Monographs on Theoretical Computer Science, Springer, 1993. [doi]
@book{eatcs-BloomE93, title = {Iteration Theories - The Equational Logic of Iterative Processes}, author = {Stephen L. Bloom and Zoltán Ésik}, year = {1993}, doi = {10.1007/978-3-642-78034-9}, url = {http://dx.doi.org/10.1007/978-3-642-78034-9}, researchr = {https://researchr.org/publication/eatcs-BloomE93}, cites = {0}, citedby = {0}, series = {EATCS Monographs on Theoretical Computer Science}, publisher = {Springer}, isbn = {978-3-642-78034-9}, }