"The authors define a data type (following Scott's work) as "a set of operations specifying an interpretation of values of a universal value space." These data types are themselves elements of a universal domain. Variables are not considered. Data types are treated as arguments to procedures, functions, and data types."