{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:37:19Z","timestamp":1743039439315,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_26","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"437-456","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["ZML: XML Support for Standard Z"],"prefix":"10.1007","author":[{"given":"Mark","family":"Utting","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Toyn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas","family":"Daley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Currie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"26_CR1","unstructured":"ISO\/IEC 10646-1. Information Technology \u2014 Universal Multiple-Octet Coded Character Set (UCS) \u2014 Part 1: Architecture and Basic Multilingual Plane. 2000."},{"key":"26_CR2","unstructured":"ISO\/IEC 10646-2. Information Technology \u2014 Universal Multiple-Octet Coded Character Set (UCS) \u2014 Part 2: Supplementary Planes. 2001."},{"key":"26_CR3","unstructured":"ISO\/IEC 13568. Information Technology \u2014 Z Formal Specification Notation \u2014 Syntax, Type System and Semantics. 2002. First Edition 2002-07-01."},{"key":"26_CR4","unstructured":"ISO 8879-1986. Information Processing \u2014 Text and Office Systems \u2014 Standard Generalized Mark-up Language (SGML). ISO, 1986."},{"key":"26_CR5","volume-title":"591 Project Report","author":"N. Daley","year":"2002","unstructured":"Nicholas Daley. Abstract syntax tree for Z. 591 Project Report, The Department of Computer Science, Waikato University, Hamilton, New Zealand, October 2002. Available from marku@cs.waikato.ac.nz."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, and Hai Wang. XML-based static type checking and dynamic visualization for TCOZ. In 4th International Conference on Formal Engineering Methods, pages 311\u2013322. Springer-Verlag, October 2002.","DOI":"10.1007\/3-540-36103-0_33"},{"key":"26_CR7","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, USA, 1995."},{"key":"26_CR8","unstructured":"W. Grieskamp. ZETA. http:\/\/uebb.cs.tu-berlin.de\/zeta, 2000."},{"key":"26_CR9","unstructured":"E.R. Harold and W.S. Means. XML in a Nutshell. O\u2019Reilly, 2001."},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2), February 2000.","DOI":"10.1109\/32.841115"},{"key":"26_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"Proc. 10th Int. Conf. on the Z Formal Method (ZUM)","author":"M. Saaltink","year":"1997","unstructured":"M. Saaltink. The Z\/EVES system. In J. Bowen, M. Hinchey, and D. Till, editors, Proc. 10th Int. Conf. on the Z Formal Method (ZUM), volume 1212 of Lecture Notes in Computer Science, pages 72\u201388, Reading, UK, April 1997. Springer-Verlag, Berlin."},{"key":"26_CR12","unstructured":"J. Michael Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall International (UK) Ltd, second edition, 1992."},{"key":"26_CR13","unstructured":"J. Sun, J.S. Dong, J. Liu, and H. Wang. An XML Schema for Z family. http:\/\/nt-appn.comp.nus.edu.sg\/fm\/zml\/zml.xsd, 2001."},{"issue":"1\u20134","key":"26_CR14","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1023\/A:1016513914276","volume":"13","author":"J. Sun","year":"2002","unstructured":"Jing Sun, Jin Song Dong, Jing Liu, and Hai Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering, 13(1\u20134):329\u2013356, June 2002.","journal-title":"Annals of Software Engineering"},{"key":"26_CR15","unstructured":"I. Toyn. CADiZ. http:\/\/www-users.cs.york.ac.uk\/~ian\/cadiz\/, 2001."},{"key":"26_CR16","unstructured":"J. Wordsworth. An XML DTD for Z, October 1999."}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T14:19:19Z","timestamp":1676643559000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}