{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:20:07Z","timestamp":1725711607329},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197522"},{"type":"electronic","value":"9781447135500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3550-0_5","type":"book-chapter","created":{"date-parts":[[2013,1,6]],"date-time":"2013-01-06T07:45:38Z","timestamp":1357458338000},"page":"70-87","source":"Crossref","is-referenced-by-count":10,"title":["Demonstrating the Compliance of Ada Programs with Z Specifications"],"prefix":"10.1007","author":[{"given":"C. T.","family":"Sennett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"RJR Back","year":"1988","unstructured":"Back, R J R (1988). A calculus of refinements for program derivations. Acta Informatica, 25, 593\u2013624.","journal-title":"Acta Informatica"},{"key":"5_CR2","volume-title":"Structured programming","author":"O-J Dahl","year":"1972","unstructured":"Dahl, O-J, Dijkstra, E W and Hoare, C A R (1972). Structured programming, Academic Press, London and New York."},{"key":"5_CR3","volume-title":"A discipline of programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E W (1976). A discipline of programming, Prentice Hall, Englewood Cliffs."},{"key":"5_CR4","volume-title":"High Integrity Software","author":"BA Carre","year":"1989","unstructured":"Carre, B A (1989). Reliable programming in standard languages. In High Integrity Software, Sennett, C T (ed), Pitman, London."},{"key":"5_CR5","volume-title":"Southampton SOl 1BQ","author":"BA Carre","year":"1990","unstructured":"Carre, B A, Jennings, T J, Maclennan, F J, Farrow, P F and Gamsworthy, J R (1990). SPARK - The SPADE Ada Kernel. Program Validation Ltd, 26 Queens Terrace, Southampton SOl 1BQ."},{"key":"5_CR6","first-page":"05","volume-title":"Report of Gypsy 2","author":"DI Good","year":"1986","unstructured":"Good, D I (1986). Report of Gypsy 2. 05, Institute for Computer Science, University of Texas at Austin."},{"key":"5_CR7","volume-title":"University of Oxford","author":"S King","year":"1988","unstructured":"King S, Sorensen I H, Woodcock J, (1988). Z: grammar and concrete and abstract syntaxes, Programming Research Group Technical Monograph PRG-68, University of Oxford."},{"issue":"2","key":"5_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"DE Knuth","year":"1984","unstructured":"Knuth, D E, (1984). Literate programming, Computer Journal, 27, 2, pp 97\u2013111.","journal-title":"Computer Journal"},{"key":"5_CR9","volume-title":"Springer Verlag Texts and Monographs in Computer Science","author":"DC Luckham","year":"1990","unstructured":"Luckham, D C (1990). Programming with specifications. Springer Verlag Texts and Monographs in Computer Science."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/44501.44503","volume":"10","author":"CC Morgan","year":"1988","unstructured":"Morgan C C (1988). The specification statement, TOPLAS 10, 3.","journal-title":"Toplas"},{"key":"5_CR11","volume-title":"Prentice Hall International Series in Computer Science","author":"CC Morgan","year":"1990","unstructured":"Morgan C C (1990). Programming from specifications. Prentice Hall International Series in Computer Science."},{"key":"5_CR12","volume-title":"in High Integrity Software Sennett","author":"P Smith","year":"1989","unstructured":"Smith, P and Bleech, N (1989). Practical experience with a formal verification system, in High Integrity Software Sennett, C T (ed ), Pitman London."}],"container-title":["Workshops in Computing","5th Refinement Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3550-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T08:57:09Z","timestamp":1557478629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3550-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197522","9781447135500"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3550-0_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}