{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:47:27Z","timestamp":1743065247081,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":3,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048197934"},{"type":"electronic","value":"9789048197941"}],"license":[{"start":{"date-parts":[[2010,8,18]],"date-time":"2010-08-18T00:00:00Z","timestamp":1282089600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,8,18]],"date-time":"2010-08-18T00:00:00Z","timestamp":1282089600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-90-481-9794-1_4","type":"book-chapter","created":{"date-parts":[[2010,9,17]],"date-time":"2010-09-17T21:21:08Z","timestamp":1284758468000},"page":"17-22","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Transformational Programming and the Derivation of Algorithms"],"prefix":"10.1007","author":[{"given":"Martin","family":"Ward","sequence":"first","affiliation":[]},{"given":"Hussein","family":"Zedan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,8,18]]},"reference":[{"key":"4_CR1_4","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s00165-008-0070-y","volume":"21#3","author":"Back Ralph-Johan","year":"2009","unstructured":"Ralph-Johan Back, \u201cInvariant Based Programming: Basic Approach and Teaching Experiences,\u201d Formal Aspects of Computing 21#3 (May, 2009), 227\u2013244.","journal-title":"Formal Aspects of Computing"},{"key":"4_CR2_4","unstructured":"E. W. Dijkstra, \u201cA Constructive Approach to the Problem of Program Correctness.,\u201d Technische Hogeschool Eindhoven, EWD209, http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd02xx\/EWD209.PDF."},{"key":"4_CR3_4","volume-title":"Programming from Specifications","author":"C. C. Morgan","year":"1994","unstructured":"C. C. Morgan, Programming from Specifications, Prentice-Hall, Englewood Cliffs, NJ, 1994, Second Edition.","edition":"2"}],"container-title":["Lecture Notes in Electrical Engineering","Computer and Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-90-481-9794-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T21:35:28Z","timestamp":1674509728000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-90-481-9794-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,18]]},"ISBN":["9789048197934","9789048197941"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/978-90-481-9794-1_4","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2010,8,18]]},"assertion":[{"value":"18 August 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}