A Domain-Theoretic Approach to Functional and Logic Programming.

Frank S. K. Silbermann Bharat Jayaraman A Domain-Theoretic Approach to Functional and Logic Programming. 273-321 1992 2 J. Funct. Program. 3 db/journals/jfp/jfp2.html#SilbermannJ92