Expressing program developments in a design calculus

This publication has 10 references indexed in Scilit:

• Special relations in automated deduction
  Journal of the ACM, 1986
• Discourse strategies for generating natural-language text
  Artificial Intelligence, 1985
• The Munich Project CIP
  Lecture Notes in Computer Science, 1985
• Completely non-clausal theorem proving
  Artificial Intelligence, 1982
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
  Journal of the ACM, 1982
• The Science of Programming
  Published by Springer Nature ,1981
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• Proof Theory
  Published by Springer Nature ,1977
• Introduction to Mathematical Logic
  Published by Springer Nature ,1973
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972