{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:57:49Z","timestamp":1771700269479,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540627173","type":"print"},{"value":"9783540684909","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027284","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:00:45Z","timestamp":1132383645000},"page":"72-85","source":"Crossref","is-referenced-by-count":116,"title":["The Z\/EVES system"],"prefix":"10.1007","author":[{"given":"Mark","family":"Saaltink","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"J. P. Bowen and M. J. C. Gordon. Z and HOL. In Bowen and Hall (eds.) Z Users Workshop, Springer Verlag Workshops in Computing, 1994.","DOI":"10.1007\/978-1-4471-3452-7_9"},{"key":"5_CR2","volume-title":"Lecture Notes in Computer Science 551","author":"D. Craigen","year":"1991","unstructured":"D. Craigen, S. Kromodimoeljo, I. Meisels, W. Pase and M. Saaltink. EVES: An Overview. In Proceedings of VDM '91 (Formal Software Development Methods), Noordwijkerhout, The Netherlands (October 1991), Lecture Notes in Computer Science 551, Springer Verlag, Berlin, 1991."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Kolyang, T. Santen, and B. Wolff. A Structure Preserving Encoding of Z in Isabelle\/HOL. In J. von Wright, J. Grundy, and J. Harrison (eds.), Theorem Proving in Higher Order Logics \u2014 9th International Conference, Lecture Notes in Computer Science 1125, Springer Verlag, 1996.","DOI":"10.1007\/BFb0105411"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science 693","volume-title":"Functional Programming, Concurrency, Simulation and Automated Reasoning","author":"S. Kromodimoeljo","year":"1993","unstructured":"Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen and Irwin Meisels. The EVES System. In Functional Programming, Concurrency, Simulation and Automated Reasoning, Lecture Notes in Computer Science 693, Springer-Verlag, Berlin, 1993."},{"key":"5_CR5","unstructured":"Irwin Meisels and Mark Saaltink. The Z\/EVES Reference Manual. ORA Canada Technical Report TR-96-5493-03b, 1996."},{"issue":"No.2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"Greg Nelson and Derek C. Oppen. Simplification by Cooperating Decision Procedures. ACM Transactions on Programming Languages and Systems, Vol. 1, No. 2, October 1979, 245\u2013257.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR7","unstructured":"Ben Potter, Jane Sinclair, and David Till. An Introduction to Formal Specification and Z. Prentice Hall, 1991."},{"key":"5_CR8","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual, Second Edition. Prentice Hall, 1992."},{"key":"5_CR9","unstructured":"J. M. Spivey. The fuzz Manual, Second Edition. J. M. Spivey Computing Science Consultancy, May 1993."}],"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\/BFb0027284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:31:39Z","timestamp":1586568699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027284"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0027284","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}