ACM Symposium on Principles of Programming Languages Atlanta 1976.