Schwartz, Jacob T. "Set Theory as a Language for Program Specification and Programming". Courant Institute of Mathematical Sciences, New York University, 1970.

Languages mentioned

• SETL {1970} Set based programming language