{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:30Z","timestamp":1761597330088},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_147","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:24:30Z","timestamp":1330169070000},"page":"288-296","source":"Crossref","is-referenced-by-count":2,"title":["Formal transformations and the development of programs"],"prefix":"10.1007","author":[{"given":"Friedrich W.","family":"Henke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R.M. Burstall and J. Darlington: A transformation system for developing recursive programs. Journal of the ACM 24 (1977), 44\u201367.","journal-title":"Journal of the ACM"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0020-0190(76)90010-7","volume":"5","author":"D. P. Friedman","year":"1976","unstructured":"D.P. Friedman and D.S. Wise: Output driven interpretation of recursive programs, or writing creates and destroys data structures. Information Processing Letters 5 (1976), 155\u2013160.","journal-title":"Information Processing Letters"},{"key":"25_CR3","unstructured":"F.W. v. Henke: On the representation of data structures in LCF. Memo AIM-267, Stanford University, 1975."},{"key":"25_CR4","unstructured":"F.W. v. Henke: Recursive data types and program structures. Internal report, GMD Bonn, 1976."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"F.W. v. Henke: An algebraic approach to data types, program verification, and program synthesis. Proc. MFCS'76, Springer Lecture Notes in Computer Science No. 45, 1976.","DOI":"10.1007\/3-540-07854-1_195"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/356635.356640","volume":"6","author":"D. E. Knuth","year":"1974","unstructured":"D.E. Knuth: Structured programming with go to statements. Computing Surveys 6 (1974), 261\u2013301.","journal-title":"Computing Surveys"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/321992.322000","volume":"24","author":"D. B. Loveman","year":"1977","unstructured":"D.B. Loveman: Program improvement by source-to-source transformation. Journal of the ACM 24 (1977), 121\u2013145.","journal-title":"Journal of the ACM"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"R. Milner: Implementation and applications of Scott's logic for computable functions. Proc. ACM Conf. on Proving Assertions about Programs, Las Cruces, 1972.","DOI":"10.1145\/800235.807067"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"R. Milner: Logic for Computable Functions \u2014 description of an implementation. Memo AIM-169, Stanford University, 1972.","DOI":"10.21236\/AD0785072"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_147.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:59:21Z","timestamp":1605625161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_147","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}