Hussmann, Heinrich <br/><br/>
Non determinism in Algebric specifications and algebraic programs 

 - Bsoton  Birkhauser  1993 
 - vii, 253 p. 
<br/><br/>   
<br/><br/><label>ISBN: </label>0-8176-3700-1 
<br/><br/><label>Subjects--Index Terms: </label>Computer algorithm  Computer science