{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:27:11Z","timestamp":1748071631896},"publisher-location":"London","reference-count":11,"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_5","type":"book-chapter","created":{"date-parts":[[2013,2,2]],"date-time":"2013-02-02T02:41:57Z","timestamp":1359772917000},"page":"71-85","source":"Crossref","is-referenced-by-count":15,"title":["Computer Aided Transformation of Z into Prolog"],"prefix":"10.1007","author":[{"given":"A. J. J.","family":"Dick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. J.","family":"Krause","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Cozens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"10","volume-title":"\u201cComputer Aided Transformation of Prolog Specifications\u201d, Tech. Report","author":"AJJ Dick","year":"1989","unstructured":"A. J. J. Dick & P. J. Krause [ 1989 ], \u201cComputer Aided Transformation of Prolog Specifications\u201d, Tech. Report 10\u20131702, Racal Research Ltd., Worton Drive, Reading"},{"key":"5_CR2","volume-title":"Prentice Hall","author":"I Hayes","year":"1987","unstructured":"I. Hayes (Ed.) [1987], \u201cSpecification Case Studies\u201d, Prentice Hall"},{"key":"5_CR3","volume-title":"Report A1.1, Alvey Project SE\/065, Dept","author":"RD Knott","year":"1988","unstructured":"R. D. Knott and P. J. Krause [ 1988a ], \u201cAn approach to animating Z using Prolog\u201d Report A1.1, Alvey Project SE\/065, Dept. Maths, Univ. Surrey."},{"key":"5_CR4","first-page":"065","volume-title":"\u201cLIBRARY SYSTEM: an example of rapid prototyping of a Z specification in Prolog\u201d Report A1.2, Alvey Project SE\/","author":"RD Knott","year":"1988","unstructured":"R. D. Knott and P. J. Krause [ 1988b ], \u201cLIBRARY SYSTEM: an example of rapid prototyping of a Z specification in Prolog\u201d Report A1.2, Alvey Project SE\/ 065, Dept. Maths, Univ. Surrey."},{"key":"5_CR5","volume-title":"Report A2.1, Alvey Project SE\/065, Dept","author":"PJ Krause","year":"1989","unstructured":"P. J. Krause, R. D. Knott and P. J. Byers [ 1989 ], \u201cLift System Animation\u201d Report A2.1, Alvey Project SE\/065, Dept. Maths, Univ. Surrey."},{"key":"5_CR6","volume-title":"Springer Verlag","author":"JW Lloyd","year":"1984","unstructured":"J. W. Lloyd [ 1984 ] \u201cFoundations of Logic Programming\u201d, Springer Verlag"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"G. A. Ringwood [ 1989 ], \u201cA Comparative Study of Concurrent Logic Languages\u201d, Knowledge Engineering Review, 4 (to appear)","DOI":"10.1017\/S0269888900005130"},{"key":"5_CR8","volume-title":"Cambridge Univ. Press","author":"JM Spivey","year":"1988","unstructured":"J. M. Spivey [ 1988 ], \u201cUnderstanding Z: a Specification Language and its Formal Semantics\u201d Cambridge Univ. Press"},{"key":"5_CR9","volume-title":"Prentice Hall","author":"JM Spivey","year":"1989","unstructured":"J. M. Spivey [ 1989 ], \u201cThe Z Notation: a Reference Manual\u201d, Prentice Hall"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1002\/spe.4380170903","volume":"17","author":"S Stepney","year":"1987","unstructured":"S. Stepney and S. P. Lord [ 1987 ], \u201cFormal Specification of an Access Control System\u201d, Software Practice and Experience, 17, pp. 575\u2013593","journal-title":"Software Practice and Experience"},{"key":"5_CR11","volume-title":"MIT Press","author":"L Stirling","year":"1986","unstructured":"L. Stirling and E. Shapiro [ 1986 ], \u201cThe Art of Prolog\u201d, MIT Press"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T07:26:22Z","timestamp":1547796382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3877-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540196273","9781447138778"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3877-8_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1990]]}}}