Author: ACM Symposium on Principles of Programming Languages Palo Alto, Calif. 1975.