Bernhard Möller, Walter Dosch. On the Algebraic Specification of Domains. In Hans-Jörg Kreowski, editor, Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers. Volume 116 of Informatik-Fachberichte, pages 178-195, Springer, 1984.
Abstract is missing.