Iteration Theories: The Equational Logic of Iterative Processes

Book by Stephen L. Bloom and Zoltán Ésik