The 1975 ACM Turing Award Lecture.