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