Author: ACM Symposium on Principles of Programming Languages Boston 1973.