{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T16:14:09Z","timestamp":1764173649577},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540255598"},{"type":"electronic","value":"9783540320074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11415787_5","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T18:07:36Z","timestamp":1278871656000},"page":"65-84","source":"Crossref","is-referenced-by-count":29,"title":["CZT: A Framework for Z Tools"],"prefix":"10.1007","author":[{"given":"Petra","family":"Malik","sequence":"first","affiliation":[]},{"given":"Mark","family":"Utting","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"ISO\/IEC 13568: Information Technology\u2014Z Formal Specification Notation\u2014Syntax, Type System and Semantics, 1st edn. ISO\/IEC (2002)","key":"5_CR1"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/3-540-44880-2_26","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"M. Utting","year":"2003","unstructured":"Utting, M., Toyn, I., Sun, J., Martin, A., Dong, J.S., Daley, N., Currie, D.: ZML: XML support for standard Z. In: Bert, D., P. Bowen, J., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 437\u2013456. Springer, Heidelberg (2003)"},{"key":"5_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language. Advances in Formal Methods","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"Mahony, B., Dong, J.S.: Timed communicating Object Z. IEEE Transactions on Software Engineering\u00a026, 150\u2013177 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR5","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, USA (1995)"},{"unstructured":"Mai, Y., de Champlain, M.: A pattern language to visitors. In: The 8th Annual Conference of Pattern Languages of Programs (PLoP 2001), Monticello, Illinois, USA (2001)","key":"5_CR6"},{"key":"5_CR7","volume-title":"Pattern Languages of Program Design","author":"A.C. Martin","year":"1997","unstructured":"Martin, A.C.: Acyclic visitor. In: Martin, R.C., Riehle, D., Buschmann, F. (eds.) Pattern Languages of Program Design, vol.\u00a03. Addison-Wesley Longman Publishing Co., Inc, Amsterdam (1997)"},{"key":"5_CR8","volume-title":"Pattern Languages of Program Design","author":"M.E. Nordberg III","year":"1997","unstructured":"Nordberg III, M.E.: Default and extrinsic visitor. In: Martin, R.C., Riehle, D., Buschmann, F. (eds.) Pattern Languages of Program Design, vol.\u00a03. Addison-Wesley Longman Publishing Co., Inc, Amsterdam (1997)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/3-540-45648-1_6","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"I. Toyn","year":"2002","unstructured":"Toyn, I., Stepney, S.: Characters + mark-up = Z lexis. In: Bert, D., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 100\u2013119. Springer, Heidelberg (2002)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/3-540-44525-0_16","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"I. Toyn","year":"2000","unstructured":"Toyn, I., Valentine, S.H., Stepney, S., King, S.: Typechecking Z. In: P. Bowen, J., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 264\u2013285. Springer, Heidelberg (2000)"},{"key":"5_CR11","series-title":"International Series in Computer Science","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. International Series in Computer Science. Prentice-Hall International (UK) Ltd., Englewood Cliffs (1992)","edition":"2"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-45614-7_2","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"B. Legeard","year":"2002","unstructured":"Legeard, B., Peureux, F., Utting, M.: Automated boundary testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 21\u201340. Springer, Heidelberg (2002)"},{"unstructured":"Toyn, I.: Information technology \u2013 Z formal specification notation \u2013 Syntax, type system and semantics. DRAFT TECHNICAL CORRIGENDUM 1, Corrections to use of Unicode.This draft has yet to be submitted for official ballot. Available from, \n                  \n                    http:\/\/www-users.cs.york.ac.uk\/~ian\/zstan\/IS.html\n                  \n                  \n                 (2004)","key":"5_CR13"}],"container-title":["Lecture Notes in Computer Science","ZB 2005: Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11415787_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:03:44Z","timestamp":1619492624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11415787_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255598","9783540320074"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11415787_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}