Bloom S.L. Iteration theories : The equational logic of iterative processes / S.L.Bloom,Z.@wEsik, 1993. - XV,630 p. p. - Текст : непосредственный.