Stephen L. Bloom, Zoltán Ésik. Iteration Theories - The Equational Logic of Iterative Processes. EATCS Monographs on Theoretical Computer Science, Springer, 1993. [doi]
No references recorded for this publication.
No citations of this publication recorded.