Author: ACM Symposium on Principles of Programming Languages Los Angeles 1977.