Constructive Refinement of First Order Specifications

This publication has 9 references indexed in Scilit:

• Eliminating the substitution axiom from UNITY logic
  Formal Aspects of Computing, 1991
• Machine support for Z: the zedB tool
  Published by Springer Nature ,1991
• Duality in specification languages: a lattice-theoretical approach
  Acta Informatica, 1990
• Data refinement by miracles
  Information Processing Letters, 1988
• A theoretical basis for stepwise refinement and the programming calculus
  Science of Computer Programming, 1987
• Predicative methodology
  Acta Informatica, 1986
• A simple fixpoint argument without the restriction to continuity
  Acta Informatica, 1986
• Predicative programming Part II
  Communications of the ACM, 1984
• Completeness of many-sorted equational logic
  ACM SIGPLAN Notices, 1981