{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:38:36Z","timestamp":1725676716676},"publisher-location":"London","reference-count":6,"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_8","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T07:13:53Z","timestamp":1335251633000},"page":"120-138","source":"Crossref","is-referenced-by-count":12,"title":["Specifying and Interpreting Class Hierarchies in Z"],"prefix":"10.1007","author":[{"given":"Anthony","family":"Hall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"America P (ed), ECOOP 91: European Conference on Object-oriented Programming, Lecture Notes in Computer Science No. 512, pp 167 \u2014 179. Springer Verlag","author":"E Cusack","year":"1991","unstructured":"Cusack E. Inheritance in object oriented Z. In America P (ed), ECOOP \u201881: European Conference on Object-oriented Programming, Lecture Notes in Computer Science No. 512, pp 167 \u2014 179. Springer Verlag, 1991."},{"key":"8_CR2","volume-title":"Bjorner D, Langmaack H (eds), Proceedings of VDM 90, Lecture Notes in Computer Science No. 428, pp 290 \u2014 318. Springer Verlag","author":"A Hall","year":"1990","unstructured":"Hall A. Using Z as a Specification Calculus for Object-Oriented Systems. In Bjorner D, Langmaack H (eds), Proceedings of VDM 90, Lecture Notes in Computer Science No. 428, pp 290 \u2014 318. Springer Verlag, 1990."},{"key":"8_CR3","volume-title":"Bowen JP, Nicholls JE (eds), Z User Workshop London 1992, Workshops in Computing, pp 62 \u2014 90. Springer Verlag","author":"K Lano","year":"1992","unstructured":"Lano K, Haughton H. Reuse and Adaptation of Z Specifications. In Bowen JP, Nicholls JE (eds), Z User Workshop London 1992, Workshops in Computing, pp 62 \u2014 90. Springer Verlag, 1992."},{"key":"8_CR4","volume-title":"Nierstrasz OM (ed), Proceedings of ECOOP 93 - Object-Oriented Programming, Lecture Notes in Computer Science No. 707, pp 118 \u2014 141. Springer Verlag","author":"B Liskov","year":"1993","unstructured":"Liskov B, Wing JM. A New Definition of the Subtype Relation. In Nierstrasz OM (ed), Proceedings of ECOOP \u201883 - Object-Oriented Programming, Lecture Notes in Computer Science No. 707, pp 118 \u2014 141. Springer Verlag, 1993."},{"key":"8_CR5","volume-title":"The Z Notation: A Reference Manual","author":"JM Spivey","year":"1992","unstructured":"Spivey JM. The Z Notation: A Reference Manual. Prentice Hall, Second edition, 1992."},{"key":"8_CR6","volume-title":"Springer Verlag","author":"S Stepney","year":"1992","unstructured":"Stepney S, Barden R, Cooper D. Object Orientation in Z. Workshops in Computing. Springer Verlag, 1992."}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T08:51:06Z","timestamp":1556700666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3452-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198840","9781447134527"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3452-7_8","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}