Algorithmic problem solving - BACKHOUSE, Roland (John Wiley & Sons, 2011)