Computability and complexity: from a programming perspective - Jones, Neil D. (The MIT press, 1997)
Index.