Minimisation in Formal Specification and Design

This publication has 6 references indexed in Scilit:

• A computing scientist’s approach to a once-deep theorem of Sylvester’s
  Published by Springer Nature ,1989
• The date refinement calculator for Z specifications
  Information Processing Letters, 1988
• Prespecification in data refinement
  Information Processing Letters, 1987
• Transformational programming and the paragraph problem
  Science of Computer Programming, 1986
• On Formalism in Specifications
  IEEE Software, 1985
• Breaking paragraphs into lines
  Software: Practice and Experience, 1981