Comparing categories of domains - Gunter, Carl A. (1985)