Machine generated authority record.
Work cat.: (OSt)0: Stoltenberg-Hansen, Viggo. 19303, Mathematical theory of domains /, 1994.