Gilles Kahn Gordon D. Plotkin Concrete Domains. 187-277 1993 121 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs121.html#KahnP93