Jones, N. D. <br/><br/>
Computability and complexity: From a programming perspective 

 - Massachusetts  MIT Press  1997 
 - xvi, 466p. 
 - Foundations of computing series .
<br/><br/><label>ISBN: </label>0-262-10064-9