ACM Turing Award lectures : (ACM Press anthology series, 1987)