{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:27Z","timestamp":1725663387199},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:12Z","timestamp":1330199712000},"page":"414-424","source":"Crossref","is-referenced-by-count":2,"title":["Semantics-based tools for a specification-support environment"],"prefix":"10.1007","author":[{"given":"Joylyn","family":"Reed","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"unstructured":"J-R. Abrial, S.A.Schuman, and B. Meyer, \u201cSpecification Language\u201d, in Construction of Programs, ed. R.M. McKeag & A.M. MacNaughten, Cambridge Univ. Press, 1980.","key":"22_CR1"},{"unstructured":"J-R. Abrial, \u201cA course on System Specification\u201d, Lecture notes, Programming Research Group, Univ. of Oxford, 1981.","key":"22_CR2"},{"doi-asserted-by":"crossref","unstructured":"M. Gordon, R. Milner, and C. Wadsworth, Edinburgh LCF: A Mechanical Logic of Computation, Lecture Notes Com. Sc.,78, Springer-Verlag, 1979.","key":"22_CR3","DOI":"10.1007\/3-540-09724-4"},{"unstructured":"R.W. Harper, D. MacQueen, and R. Milner, Standard ML, Edinburgh University Internal Report ECS-LFCS-86-2, 1986.","key":"22_CR4"},{"volume-title":"Specification Case Studies","year":"1987","unstructured":"Specification Case Studies, ed. I. Hayes, Prentice-Hall Inter., London, 1987.","key":"22_CR5"},{"unstructured":"S. King, I.H. Sorenson and J. Woodcock, \u201cA Syntax for the Z Notation, Programming Research Group, Univ. of Oxford, 1986.","key":"22_CR6"},{"unstructured":"C.C. Morgan, \u201cSchemas in Z: a Preliminary Reference Manual\u201d, Programming Research Group, Univ. of Oxford,1984.","key":"22_CR7"},{"doi-asserted-by":"crossref","unstructured":"R. Milner, \u201cA proposal for Standard ML\u201d, Proc. ACM Symp. LISP and Functional Programming, Austin, Texas, 1984, pp. 184\u2013197.","key":"22_CR8","DOI":"10.1145\/800055.802035"},{"issue":"2","key":"22_CR9","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1109\/TSE.1984.5010215","volume":"10","author":"C. C. Morgan","year":"1993","unstructured":"C.C. Morgan and B.A. Sufrin, \u201cSpecification of the UNIX Filing System\u201d, IEEE Trans. Soft.Eng., v.10,2 1993, pp 128\u201342.","journal-title":"IEEE Trans. Soft.Eng."},{"key":"22_CR10","volume-title":"Notes for Software Engineering","author":"J. Sanders","year":"1986","unstructured":"J. Sanders, I.H. Sorenson, B.A. Sufrin, and J. Woodcock, Notes for Software Engineering, Z Course given at Wolfson College, Oxford, 1986."},{"unstructured":"J.M. Spivey, \u201cTowards a Formal Semantics for the Z Notation\u201d, Tech. Mon. PRG-41, Programming Research Group, Univ. of Oxford, 1984.","key":"22_CR11"},{"unstructured":"J.M. Spivey, Understanding Z: A Specification Language and its Formal Semantics, D.Phil. Thesis, Univ. of Oxford, 1985 (to be published by Cambridge Univ. Press).","key":"22_CR12"},{"unstructured":"J.M. Spivey, The Z Library, A Reference Manual, 1986.","key":"22_CR13"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0167-6423(82)90014-4","volume":"1","author":"B. A. Sufrin","year":"1983","unstructured":"B.A. Sufrin, \u201cFormal Specification of a Display-oriented Text Editor\u201d, Science Com. Prog., v.1, 1983, pp 157\u2013202.","journal-title":"Science Com. Prog."},{"unstructured":"B.A. Z Handbook, Draft 1.1, March 1986.","key":"22_CR15"},{"unstructured":"R.W. Harper, D. MacQueen, and R. Milner, Standard ML, Edinburgh University Internal Report ECS-LFCS-86-2, 1985.","key":"22_CR16"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:04Z","timestamp":1605644164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}