{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:37Z","timestamp":1725664777768},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540605782"},{"type":"electronic","value":"9783540477686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60578-9_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:42:36Z","timestamp":1330288956000},"page":"81-87","source":"Crossref","is-referenced-by-count":1,"title":["Deductive software building"],"prefix":"10.1007","author":[{"given":"Pearl","family":"Brereton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Singleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1002\/spe.4380090402","volume":"9","author":"S. I. Feldman","year":"1979","unstructured":"S. I. Feldman, \u201cmake \u2014 a program for maintaining computer programs\u201d, Software \u2014 Practice & Experience, vol. 9, pp. 255\u2013265, 1979.","journal-title":"Software \u2014 Practice & Experience"},{"key":"6_CR2","unstructured":"P. Singleton, \u201cApplications of Meta-Programming to the Construction of Software Products from Generic Configurations\u201d, Ph.D. Thesis, Keele University, 1992."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"P. Singleton and O. P. Brereton, \u201cStorage and Retrieval of First-Order Terms using a Relational Database\u201d, in Proceedings of the Eleventh British National Conference on Databases, Lecture Notes in Computer Science (LNCS), vol. 696, pp. 199\u2013219, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56921-9_12"},{"issue":"no.7","key":"6_CR4","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1002\/spe.4380150703","volume":"15","author":"W. F. Tichy","year":"1985","unstructured":"W. F. Tichy, \u201cRCS \u2014 A System for Version Control\u201d, Software \u2014 Practice & Experience, vol. 15, no. 7, pp. 637\u2013654, 1985.","journal-title":"Software \u2014 Practice & Experience"}],"container-title":["Lecture Notes in Computer Science","Software Configuration Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60578-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:25:47Z","timestamp":1619573147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60578-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605782","9783540477686"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-60578-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}