{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:38:33Z","timestamp":1725676713052},"publisher-location":"London","reference-count":7,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198840"},{"type":"electronic","value":"9781447134527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3452-7_12","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T07:13:53Z","timestamp":1335251633000},"page":"213-229","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Z Method: Axiomatic Specification in Z"],"prefix":"10.1007","author":[{"given":"Jon","family":"Hall","sequence":"first","affiliation":[]},{"given":"John","family":"McDermid","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"S. Brien, J. Nicholls: \u201cZ Base Standard Version 1.0\u201d. (1992)."},{"key":"12_CR2","volume-title":"\u201cOrder-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations\u201d. Technical Report SRI-CSL-89-10","author":"JA Goguen","year":"1989","unstructured":"J.A. Goguen: \u201cOrder-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations\u201d. Technical Report SRI-CSL-89\u201310, SRI International, Computer Science Lab., (July 1989)."},{"key":"12_CR3","unstructured":"J.A. Goguen: \u201cTheorem Proving and Algebra\u201d. Prentice-Hall International, to appear. (1992)."},{"key":"12_CR4","unstructured":"J.G. Hall: \u201cType and Value Calculations in Z\u201d. To appear."},{"key":"12_CR5","volume-title":"A Tutorial on Specification and Verification Using PVS (Beta Release)","author":"N Shankar","year":"1993","unstructured":"N. Shankar, S. Owre, J.M. Rushby: \u201cA Tutorial on Specification and Verification Using PVS (Beta Release)\u201d. Computer Science Laboratory, SRI International (March 1993)."},{"key":"12_CR6","unstructured":"J.M. Spivey: \u201cThe Z Notation: A Reference Manual\u201d Second Edition. Prentice Hall International Series in Computer Science (1992)."},{"key":"12_CR7","volume-title":"\u201cObject Oriented Specification and Refinement\u201d. D.Phil","author":"PJ Whysall","year":"1991","unstructured":"P.J. Whysall: \u201cObject Oriented Specification and Refinement\u201d. D.Phil. Thesis, York University (1991)."}],"container-title":["Workshops in Computing","Z User Workshop, Cambridge 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3452-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T08:49:24Z","timestamp":1556700564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3452-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198840","9781447134527"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3452-7_12","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}