{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:09:30Z","timestamp":1774987770810,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540164425","type":"print"},{"value":"9783540397823","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:40:06Z","timestamp":1330195206000},"page":"187-196","source":"Crossref","is-referenced-by-count":112,"title":["Data refinement refined resume"],"prefix":"10.1007","author":[{"given":"J.","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. A. R.","family":"Hoare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. W.","family":"Sanders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"14_CR1","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"E.W. Dijkstra A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N.J., 1976."},{"key":"14_CR2","unstructured":"H3MS4 Data Refinement Refined, Draft 1, PRG preprint, May, 1985."},{"key":"14_CR3","unstructured":"He, Jifeng, C.A.R. Hoare and J.W. Sanders Data Refinement Refined, to appear."},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"C.A.R. Hoare Proof of correctness of data representations, Acta Informatica, 1, 271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"14_CR5","unstructured":"C.A.R. Hoare and He, Jifeng The weakest prespecification, Technical Monograph, PRG-44, June, 1985."},{"key":"14_CR6","volume-title":"Software Development: A Rigorous Approach","author":"C. B. Jones","year":"1980","unstructured":"C.B. Jones Software Development: A Rigorous Approach, Prentice-Hall International, Englewood Cliffs, N.J., 1980."},{"key":"14_CR7","unstructured":"A.J.R.G.Milner Lectures on a calculus for communicating systems, Lecture notes from the International Summer School on Control Flow and Data Flow, Munich, 1984."},{"key":"14_CR8","unstructured":"T. Nipkow Nondeterministic data types: models and implementations, University of Manchester preprint, March, 1985."},{"key":"14_CR9","first-page":"167","volume":"104","author":"D. Park","year":"1981","unstructured":"D. Park Concurrency and automata on infinite sequences, in LNCS, 104, 167\u2013183, 1981.","journal-title":"LNCS"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"M. B. Smyth","year":"1977","unstructured":"M.B. Smyth Effectively given domains, TCS, 5, 257\u2013274, 1977.","journal-title":"TCS"}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:03:32Z","timestamp":1619557412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986]]}}}