Algebraic Specification

This publication has 90 references indexed in Scilit:

• A mathematical approach to nondeterminism in data types
  ACM Transactions on Programming Languages and Systems, 1988
• Algebraic implementations preserve program correctness
  Science of Computer Programming, 1986
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
  ACM Transactions on Programming Languages and Systems, 1983
• Parameter passing in algebraic specification languages
  Theoretical Computer Science, 1983
• Data Type Specification: Parameterization and the Power of Specification Techniques
  ACM Transactions on Programming Languages and Systems, 1982
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
  Journal of the ACM, 1982
• Programming in a wide spectrum language: a collection of examples
  Science of Computer Programming, 1981
• Completeness of many-sorted equational logic
  ACM SIGPLAN Notices, 1981
• Completeness of calculii for axiomatically defined classes of algebras
  Algebra universalis, 1972
• Untersuchungen zur mehrsortigen Quantorenlogik
  Mathematische Annalen, 1962