Observational Specification: A Birkhoff Theorem

• Authors:

• Rolf Hennicker;Martin Wirsing

• Affiliations:

• -;-

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