Cartesian closed categories of domains - Jung, Achim (Centrum voor Wiskunde en Informatica, 1989)