Henson, M.C. & Reeves, S. (1999). Revising Z: part I - logic and semantics. Formal Aspects of Computing, 11(4), 359-380.
Permanent Research Commons link: http://hdl.handle.net/10289/46
This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound. We then provide an interpretation for (a rational reconstruction of) the specification language Z within ZC. As a result we obtain a sound logic for Z, including a basic schema calculus.
The final definitive version of this article is available at Formal Aspects of Computing webpages through Springerlink