How to solve it by computer - Dromey, R G (New Delhi Pearson Education, 2009)