On the verification of modules

This publication has 6 references indexed in Scilit:

• Algorithmic specifications: a constructive specification method for abstract data types
  ACM Transactions on Programming Languages and Systems, 1987
• Necessary and sufficient conditions for the universality of programming formalisms
  Acta Informatica, 1985
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Algebraische Spezifikation
  Published by Springer Nature ,1983
• Program verification and Ada
  IEE Proceedings E Computers and Digital Techniques, 1982
• A new method for determining linear precedence functions for precedence grammars
  Communications of the ACM, 1969