Stephen D. Brookes Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin. 179-186 1993 121 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs121.html#Brookes93