Set-Theoretic Concepts in Programming Languages and their Implementation.

Hans Jürgen Schneider Set-Theoretic Concepts in Programming Languages and their Implementation. 42-54 1980 conf/wg/1980 WG db/conf/wg/wg80.html#Schneider80 http://dx.doi.org/10.1007/3-540-10291-4_4