{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:41Z","timestamp":1725454001682},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000469","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"155-169","source":"Crossref","is-referenced-by-count":0,"title":["Modular refinement and model building"],"prefix":"10.1007","author":[{"given":"Martin","family":"de Groot","sequence":"first","affiliation":[]},{"given":"Ken","family":"Robinson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R.J.R. Back. Refinement diagrams. In 4 th BCS Refinement Workshop, pages 125\u2013137. Springer-Verlag, 1991.","key":"11_CR1","DOI":"10.1007\/978-1-4471-3756-6_7"},{"key":"11_CR2","volume-title":"Reports on Computer Science & Mathematics Series A-139","author":"R.J.R. Back","year":"1992","unstructured":"R.J.R. Back, J. Hekanaho, and K. Sere. Centipede-a program refinement environment. Reports on Computer Science & Mathematics Series A-139, \u00e5bo Akademi, Turku, Finland, September 1992."},{"unstructured":"E.W. Dijkstra. A Discipline of Programming. Academic Press, 1976.","key":"11_CR3"},{"doi-asserted-by":"crossref","unstructured":"Carroll Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3), July 1988.","key":"11_CR4","DOI":"10.1145\/44501.44503"},{"key":"11_CR5","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1994","unstructured":"Carroll Morgan. Programming from Specifications. Prentice Hall, UK, 1994."},{"issue":"5","key":"11_CR6","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1147\/rd.315.0546","volume":"31","author":"C.C. Morgan","year":"1987","unstructured":"C.C. Morgan and K.A. Robinson. Specification statements and refinement. IBM Journal of Research and Development, 31(5):546\u2013555, September 1987.","journal-title":"IBM Journal of Research and Development"},{"key":"11_CR7","volume-title":"The Z Notation","author":"J.M. Spivey","year":"1992","unstructured":"J.M. Spivey. The Z Notation. Prentice Hall, UK, 1992."},{"key":"11_CR8","volume-title":"Readings in Model-based Diagnosis","author":"L. Console","year":"1992","unstructured":"Luca Console Walter Hamscher and Johan de Kleer. Readings in Model-based Diagnosis. Morgan Kaufmann, San Mateo, CA, 1992."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T02:21:56Z","timestamp":1586485316000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0000469","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}