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