Author: ACM Symposium on Principles of Programming Languages Tucson, Ariz. 1978.