Algorithmic Problem Solving by Backhouse & Roland The University of Nottingham & UK