{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:24Z","timestamp":1725664884606},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602712"},{"type":"electronic","value":"9783540447825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60271-2_122","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:04:21Z","timestamp":1330261461000},"page":"224-233","source":"Crossref","is-referenced-by-count":4,"title":["Experiments with the Z interchange format and SGML"],"prefix":"10.1007","author":[{"given":"Daniel M.","family":"Germ\u00e1n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. D.","family":"Cowan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"14_CR1","volume-title":"LATEX User's Guide & Reference Manual","author":"L. Lamport","year":"1986","unstructured":"L. Lamport, LAT\n\n                  E\n                \nX User's Guide & Reference Manual. Reading, Massachusetts, USA: Addison-Wesley Publishing Company, 1986."},{"key":"14_CR2","unstructured":"J. M. Spivey, \u201cA guide to the zed style option.\u201d Oxford University Computing Laboratory, December 1990."},{"key":"14_CR3","volume-title":"The fuzz Manual","author":"J. M. Spivey","year":"1992","unstructured":"J. M. Spivey, The fuzz Manual. Computing Science Consultancy, 2 Willow Close, Garsington, Oxford OX9 9AN, UK, 2nd ed., 1992.","edition":"2nd ed."},{"key":"14_CR4","unstructured":"P. King, \u201cPrinting Z and Object-Z LATEX documents.\u201d Department of Computer Science, University of Queensland, May 1990."},{"key":"14_CR5","volume-title":"Technical Monograph PRG-107","author":"S. M. Brien","year":"1992","unstructured":"S. M. Brien and J. E. Nicholls, \u201cZ base standard,\u201d Technical Monograph PRG-107, Oxford University Computing Laboratory, 11 Keble Road, Oxford, UK, Nov. 1992. Accepted for standardization under ISO\/IEC JTC1\/SC22."},{"key":"14_CR6","unstructured":"C. Goldfarb, SGML Handbook. Oxford University Press, 1990. (0-19-853737-9)."},{"key":"14_CR7","unstructured":"J. M. Spivey, The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd ed., 1992."},{"key":"14_CR8","first-page":"125","volume":"4","author":"D. Cowan","year":"1991","unstructured":"D. Cowan, E. Mackie, G. Pianosi, and G. d. V. Smit, \u201cRita \u2014 An Editor and User Interface for Manipulating Structured Documents,\u201d Electronic Publishing, Origination, Dissemination and Design, vol. 4, pp. 125\u2013150, September 1991.","journal-title":"Electronic Publishing, Origination, Dissemination and Design"},{"key":"14_CR9","unstructured":"Inforium Inc., Waterloo Ont. Canada, LivePage Browser Tutorial and Reference Manual, Version. 2.0, 1994."},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D. E. Knuth","year":"1984","unstructured":"D. E. Knuth, \u201cLiterate programming,\u201d The Computer Journal, vol. 27, pp. 97\u2013111, May 1984.","journal-title":"The Computer Journal"},{"key":"14_CR11","unstructured":"A. Ryman, \u201cFormal Methods and Literate Programming,\u201d in Proceedings of the Third IBM Software Engineering ITL, June 1993."},{"key":"14_CR12","unstructured":"D. Morales-Germ\u00e1n, \u201cAn SGML based Literate Programming Environment,\u201d in Proceedings of the 1994 CAS Conference, pp. 42\u201349, November 1994."},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/179606.179671","volume":"37","author":"T. Berners-Lee","year":"1994","unstructured":"T. Berners-Lee, R. Cilliau, A. Loutonen, H. F. Nielsen, and A. Secret, \u201cThe World Wide Web,\u201d Communications of the ACM, vol. 37, pp. 76\u201382, August 1994.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","ZUM '95: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60271-2_122.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:35:29Z","timestamp":1619559329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60271-2_122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602712","9783540447825"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60271-2_122","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}