Shields, David "Optimization Algorithms in a Set Theoretic Language"

(1972) Courant Symposium on High Level Level Languages, Computer Science Department of the Courant Institute of Mathematical Sciences, May 22, 1972  

Languages mentioned SETL {1970} Set based programming language