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