Rydeheard, David E. <br/><br/>
Computational category theory / 
and Rod M. Burstall 
 - New York :  Prentice Hall,  1988 
 - 257 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming<br/>Categories (Mathematics)--Data processing
<br/><br/><label>LC Class. No.: </label>QA169  / R93