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