Author: ACM Symposium on Principles of Programming Languages (9th 1982 Albuquerque, N.M.)