On the Power of Algebraic Specifications

• Authors:

• Jan A. Bergstra;Manfred Broy;J. V. Tucker;Martin Wirsing

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings on Mathematical Foundations of Computer Science
• Year:
• 1981