Algorithmic Problem Solving by Roland C. Backhouse & Roland Backhouse