Essays in computing science - Hoare, Charles A. R. 1934- (Prentice Hall international series in computer science, 1989)