{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:00:03Z","timestamp":1754193603090},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627173"},{"type":"electronic","value":"9783540684909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027282","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:00:45Z","timestamp":1132383645000},"page":"35-51","source":"Crossref","is-referenced-by-count":7,"title":["Experiences with PiZA, an Animator for Z"],"prefix":"10.1007","author":[{"given":"M A","family":"Hewitt","sequence":"first","affiliation":[]},{"given":"C M","family":"O'Halloran","sequence":"additional","affiliation":[]},{"given":"C T","family":"Sennett","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Dick AJJ, Krause PJ, and Cozens J. Computer aided transformation of Z into Prolog. Workshops in Computing, pages 71\u201385. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4471-3877-8_5"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Jordan D, McDermid JA, and Toyn I. CADiZ \u2014 computer aided design in Z. Workshops in Computing, pages 93\u2013104. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3540-1_7"},{"key":"3_CR3","volume-title":"CADiZ Quick Reference Guide","author":"I. Toyn","year":"1990","unstructured":"Toyn I. CADiZ Quick Reference Guide. York Software Engineering Ltd, University of York, York YO1 5DD, UK, 1990."},{"key":"3_CR4","volume-title":"ZTC: A Type Checker for the Z Notation","author":"J. Xiaoping","year":"1995","unstructured":"Xiaoping J. ZTC: A Type Checker for the Z Notation. School of Computer Science, DePaul University, Chicago, Illinois, USA, 1995."},{"key":"3_CR5","volume-title":"The Fuzz Manual","author":"JM. Spivey","year":"1992","unstructured":"Spivey JM. The Fuzz Manual. Computing Science Consultancy, 2 Willow Close, Garsington, Oxford OX9 9AN, UK, 2nd edition, 1992.","edition":"2nd edition"},{"key":"3_CR6","unstructured":"Spivey JM. The Z Notation: A Reference Manual. Series in Computer Science. Prentice Hall International, 2nd edition, 1992."},{"key":"3_CR7","unstructured":"Hewitt MA. Automated animation of Z using Prolog. B.S.c. Project Report, Department of Computing, Lancaster University, 1991."},{"key":"3_CR8","unstructured":"Hewitt MA. Optimization of Prolog generated from Z specifications. Master's thesis, Department of Computing Science, University of Aberdeen, 1992. Available from http:\/\/www.noodles.demon.co.uk\/PiZA\/PiZAOldDocs.html."},{"issue":"4","key":"3_CR9","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1049\/sej.1992.0027","volume":"7","author":"MM West","year":"1992","unstructured":"West MM and Eaglestone BM. Software development: Two approaches to animation of Z specifications using Prolog. IEE\/BCS Software Engineering Journal, 7(4):264\u2013276, July 1992.","journal-title":"IEE\/BCS Software Engineering Journal"},{"key":"3_CR10","volume-title":"ANDF, application portability and open systems. Technical report","author":"OSF","year":"1991","unstructured":"OSF. ANDF, application portability and open systems. Technical report, Open Software Foundation, 11 Cambridge Center, Cambridge, MA 02142, USA, 1991."},{"key":"3_CR11","series-title":"volume 35 of IMA Conference Series","first-page":"207","volume-title":"The Unified Computation Laboratory","author":"RD Knott","year":"1992","unstructured":"Knott RD and Krause PJ. The implementation of Z specifications using program transformation systems: The SuZan project. In C. Rattray and R. G. Clark, editors, The Unified Computation Laboratory, volume 35 of IMA Conference Series, pages 207\u2013220, Oxford, UK, 1992. Clarendon Press."},{"key":"3_CR12","volume-title":"Intermediate Language Manual for MALPAS","author":"TA Consultancy Services Ltd","year":"1996","unstructured":"TA Consultancy Services Ltd, \u2018The Barbican\u2019 East Street, Farnham, Surrey, UK, GU9 7TB. Intermediate Language Manual for MALPAS, 6th edition, 1996.","edition":"6th edition"}],"container-title":["Lecture Notes in Computer Science","ZUM '97: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:31:17Z","timestamp":1586568677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027282"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0027282","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}