{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T13:11:15Z","timestamp":1725714675276},"publisher-location":"London","reference-count":4,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540196273"},{"type":"electronic","value":"9781447138778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-1-4471-3877-8_11","type":"book-chapter","created":{"date-parts":[[2013,2,2]],"date-time":"2013-02-02T02:41:57Z","timestamp":1359772917000},"page":"179-185","source":"Crossref","is-referenced-by-count":9,"title":["CICS\/ESA 3.1 Experiences"],"prefix":"10.1007","author":[{"given":"Mark","family":"Phillips","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Hayes, Ian J. (editor), Flinn, L. William, Gimson, Roger B., Morgan, C. Carroll, Sorensen, Ib H., and Sufrin, Bernard A., Specification case studies, International Series in Computer Science, Prentice Hall, Hemel Hempstead, Hertfordshire HP2 4RG, UK, 1987."},{"key":"11_CR2","volume-title":"Uk","author":"BP Collins","year":"1987","unstructured":"Collins, B.P., Nicholls, John E., and Sorensen, Ib H., Introducing Formal Methods: the CICS Experience with Z, IBM Technical Report, TR12.260, IBM United Kingdom Laboratories Ltd., Hursley Park, Winchester, Hampshire 5021 2JN, UK, December 1987."},{"key":"11_CR3","unstructured":"Nix, C.J. and Collins, B.P., \u201cThe use of Software Engineering, including the Z Notation, in the Development of CICS,\u201d Quality Assurance, vol. 14, no. 3, pp. 103\u2013110, September 1988."},{"key":"11_CR4","unstructured":"Wordsworth John B., \u201cTeaching Formal Specification Methods in an Industrial Environment,\u201d in Software Engineering \u201886, Peter Peregrinus, London, UK, 1986."}],"container-title":["Workshops in Computing","Z User Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3877-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T21:27:24Z","timestamp":1557523644000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3877-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540196273","9781447138778"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3877-8_11","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1990]]}}}