How to solve it by computer - Dromey, R G (Prentice-Hall, New Delhi, 2006)