Cartesian closed categories of domains - Jung, Achim (1988)
Darmstadt, Techn. Hochsch., Diss.