Computability and complexity from a programming perpective - Jones, Neil D. (The MIT Press, 1997)