Henson, Martin C.Reeves, Steve2008-03-192007-07-112008-03-192003-07-01Henson, M.C. & Reeves, S. (2003). A logic for schema-based program development.Formal Aspects of Computing. 15(1), 48-83.https://hdl.handle.net/10289/65We show how a theory of specification refinement and program development can be constructed as a conservative extension of our existing logic for Z. The resulting system can be set up as a development method for a Z-like specification language, or as a generalisation of a refinement calculus (with a novel semantics). In addition to the technical development we illustrate how the theory can be used in practice.application/pdfenThe final, definitive version of this article is available at the Formal Aspects of Computing webpage through Springerlink.program development; refinement; ZJournal Article10.1007/s00165-003-0004-7