ACM Turing Award lectures : the first twenty years, 1966 to 1985 (ACM Press, 1987)