"Programming with Equations, Subsets, and Relations."

Bharat Jayaraman, David A. Plaisted (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics