Gordon D. Plotkin T^omega as a Universal Domain. 209-236 1978 17 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss17.html#Plotkin78