{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:42Z","timestamp":1725487662420},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657651"},{"type":"electronic","value":"9783540489580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_21","type":"book-chapter","created":{"date-parts":[[2007,7,23]],"date-time":"2007-07-23T02:11:42Z","timestamp":1185156702000},"page":"319-321","source":"Crossref","is-referenced-by-count":0,"title":["Mathematical Foundations for Program Transformations"],"prefix":"10.1007","author":[{"given":"R. Ben","family":"Ayed","sequence":"first","affiliation":[]},{"given":"J.","family":"Desharnais","sequence":"additional","affiliation":[]},{"given":"M.","family":"Frappier","sequence":"additional","affiliation":[]},{"given":"A.","family":"Mili","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/BF01211474","volume":"4","author":"N. Boudriga","year":"1992","unstructured":"N. Boudriga, F. Elloumi, and A. Mili. The lattice of specifications: Applications to a specification methodology. Formal Aspects of Computing, 4:544\u2013571, 1992.","journal-title":"Formal Aspects of Computing"},{"issue":"8","key":"21_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"C.A.R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672\u2013686, 1987.","journal-title":"Communications of the ACM"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0167-6423(95)00028-3","volume":"6","author":"M. Frappier","year":"1996","unstructured":"M. Frappier, J. Desharnais, and A. Mili. A calculus of program construction by parts. Science of Computer Programming, 6:237\u2013254, 1996.","journal-title":"Science of Computer Programming"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"E.C.R. Hehner. A Practical Theory of Programming. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4419-8596-5"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48958-4_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T07:44:49Z","timestamp":1550475889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}