The largest cartesian closed category of domains - Smyth, M. B. (1982)