Patrick C. Fischer Jeffrey D. Ullman Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973 POPL ACM Press 1973 db/conf/popl/popl73.html http://dl.acm.org/citation.cfm?id=512927