A J Kfoury, Robert N Moll, Michael A Arbid <br/><br/>
A Programming Approach to Computability 

 - 
 -  Springer-Verlag  1982 
 - 251 
<br/><br/>  
<br/><br/><label>ISBN: </label>0-387-90743-2 
<br/><br/><label>Dewey Class. No.: </label>004.423