How to solve it by computer - Dromey, R.G. (New Delhi Prentice Hall of India, 2000)