Bloom. Stephen L. <br/><br/>
Iteration theories: the equational logic of iterative processes /Stephen L. Bloom, Zoltan Esik 

 - Berlin  S-V  1993 
 - xv, 630p 
 - EATCS Monographs on Theoretical Computer Science .
<br/><br/><label>ISBN: </label>3540563784 
<br/><br/><label>Dewey Class. No.: </label>005.131  / N93