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