Algorithmic languages and calculi 
Lambert Meerkens, Richard Bird 
 - London  1997 
 - 440 p 
<br/><br/><label>ISBN: </label>9780412820502 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algebraic geometry
<br/><br/><label>Dewey Class. No.: </label>518.1 BIR