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