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