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