Types and invariants in the refinement calculus

This publication has 13 references indexed in Scilit:

• Programming from specifications : Carroll Morgan, (Prentice-Hall International, London, 1990), Price £16.95 (paperback), ISBN 0-13-726233-7.
  Science of Computer Programming, 1991
• Data Refinement of Predicate Transformers
  Published by Springer Nature ,1991
• The Z notation: A reference manual : J.M. Spivey. Prentice Hall International, Hemel Hempstead, United Kingdom, 1989, Price £15.95 (paperback), ISBN 0-13-983768-X.
  Science of Computer Programming, 1990
• A generalization of Dijkstra's calculus
  ACM Transactions on Programming Languages and Systems, 1989
• Auxiliary variables in data refinement
  Information Processing Letters, 1988
• The specification statement
  ACM Transactions on Programming Languages and Systems, 1988
• Data refinement by miracles
  Information Processing Letters, 1988
• A theoretical basis for stepwise refinement and the programming calculus
  Science of Computer Programming, 1987
• Specification statements and refinement
  IBM Journal of Research and Development, 1987
• Denotational semantics: The scott-strachey approach to programming language theory: Joseph E. Stoy (The MIT Press, Cambridge, MA)
  Computer Languages, 1983