We read and discuss the 1973 ACM Turing Award Lecture by Charles W. Bachman.