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