{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:58Z","timestamp":1725663178443},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540186250"},{"type":"electronic","value":"9783540480334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18625-5_63","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:41:13Z","timestamp":1330198873000},"page":"376-399","source":"Crossref","is-referenced-by-count":4,"title":["Hierarchical refinement of A Z specification"],"prefix":"10.1007","author":[{"given":"Dave","family":"Neilson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"27_CR1","unstructured":"J.-R. Abrial, Specification or how to give reality to abstraction, Technology and Science of Informatics, vol. 3 no. 3, 1984."},{"key":"27_CR2","unstructured":"E. G. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976."},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"D. Gries, The Science of Programming, Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"27_CR4","unstructured":"I. J. Hayes (ed.), Specification Case Studies, Prentice-Hall, 1987."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"P. Henderson, Functional Programming, Formal Specification, and Rapid Prototyping, IEEE Trans. Soft. Eng., Vol. SE 12, No. 2, 1986.","DOI":"10.1109\/TSE.1986.6312939"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, Proof of Correctness of Data Representations, Acta Informatica 1, 1972.","DOI":"10.1007\/BF00289507"},{"key":"27_CR7","unstructured":"C. A. R. Hoare, He Jifeng, J. W. Sanders, Data Refinement Refined, to appear."},{"key":"27_CR8","unstructured":"J. J. Horning, Putting Formal Specifications to Productive Use, Proceedings of the Joint IBM\/University of Newcastle upon Tyne Seminar, 1983."},{"key":"27_CR9","unstructured":"C. B. Jones, Systematic Software Development Using VDM, Prentice-Hall, 1986."},{"key":"27_CR10","unstructured":"C. C. Morgan, The Schema Language, Programming Research Group, Oxford University, 1984."},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"P. Naur, Intuition in software development, Proc. Int. Joint. Conf. on Theory and Practice of Software Development (TAPSOFT), 1985 (LNCS 186).","DOI":"10.1007\/3-540-15199-0_5"},{"key":"27_CR12","unstructured":"D. S. Neilson, Formal Specification Of An Occam Editor, Programming Research Group, Oxford University, 1985. M.Sc. Thesis."},{"key":"27_CR13","unstructured":"D. S. Neilson, A Rigorous Refinement Method For Z, Programming Research Group, Oxford University. D.Phil. Thesis, to appear."},{"key":"27_CR14","unstructured":"J.M.Spivey, Understanding Z: A Specification Language and its Formal Semantics, Programming Research Group, Oxford University, 1986. D.Phil Thesis."},{"key":"27_CR15","unstructured":"B. Sufrin, Formal Specification of a Display Editor, PRG-21, Programming Research Group, Oxford University, 1981."},{"key":"27_CR16","unstructured":"B. Sufrin, C. C. Morgan, I. H. S\u00f8rensen, I. J. Hayes, Notes for a Z Handbook, Part 1 \u2014 Mathematical Language, Programming Research Group, Oxford University, 1985."},{"key":"27_CR17","unstructured":"D. A. Turner, Functional programs as executable specifications, Mathematical Logic and Programming Languages (C.A.R.Hoare and J.C.Shepherdson eds.), Prentice-Hall, 1984."},{"key":"27_CR18","unstructured":"P.Wadler, Implementation of the VED text editor, Programming Research Group, Oxford University, 1984."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18625-5_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:17Z","timestamp":1605644117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18625-5_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540186250","9783540480334"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-18625-5_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}