On the Algebraic Specification of Domains

• Authors:

• Bernhard Möller;Walter Dosch

• Affiliations:

• -;-

• Venue:
• Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
• Year:
• 1984