How to solve it by computer - Dromey, R.G. (Vidhyanagar Pearson, 2006)