ACM Turing Award Lectures: The First Twenty Years 1966-1985