The Three Reports

1. specification and refactorings (Stepney, Polack, Toyn)
   • v0.1 (YCS-2003-349): The initial structure, with a focus on promotion as a generative pattern, and refactoring, with many skeleton patterns (particularly in the developmental section)
   • v0.2 (planned early 2005): fleshed out skeletons, more patterns, and material from Z in Practice
2. definitions and laws (Valentine, Stepney, Toyn)
   • v0.1 (YCS-2004-383): The initial structure, of a rich mathematical toolkit
   • v0.2 : More generic patterns, including a type-constrained generic schema toolkit, and patterns for generating toolkits by abstraction
3. proof and refinement (Cooper, Stepney, Woodcock)
   • v0.1 (planned end 2005): The initial structure, with proofs of intereseting properties, and refinement as a generative proof pattern
   • v0.2 : Refactoring proofs, retrenchment as `approximate proof refactoring'

@techreport(SS-YCS-349,
  author = "Susan Stepney and Fiona Polack and Ian Toyn",
  title = "A {Z} Patterns Catalogue I: specification and refactorings, v0.1",
  institution = "Department of Computer Science, University of York",
  number = "YCS-2003-349",
  month = jan,
  year = 2003
)

@techreport(SS-YCS-383,
  author = "Samuel H. Valentine and Susan Stepney and Ian Toyn",
  title = "A {Z} Patterns Catalogue II: definitions and laws, v0.1",
  institution = "Department of Computer Science, University of York",
  number = "YCS-2004-383",
  month = oct,
  year = 2004
)