{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:25:16Z","timestamp":1761596716980},"reference-count":39,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1987,12,1]],"date-time":"1987-12-01T00:00:00Z","timestamp":565315200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":9360,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1987,12]]},"DOI":"10.1016\/0167-6423(87)90008-6","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:19:32Z","timestamp":1027657172000},"page":"221-262","source":"Crossref","is-referenced-by-count":12,"title":["A simple calculus for program transformation (inclusive of induction)"],"prefix":"10.1016","volume":"9","author":[{"given":"Peter","family":"Pepper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-6423(87)90008-6_BIB1","article-title":"The Munich Project CIP. Vol. I: The Wide Spectrum Language CIP-L","volume":"183","author":"Bauer","year":"1985"},{"key":"10.1016\/0167-6423(87)90008-6_BIB2","series-title":"Algorithmic Language and Program Development","author":"Bauer","year":"1982"},{"key":"10.1016\/0167-6423(87)90008-6_BIB3","series-title":"Lattice Theory","author":"Birkhoff","year":"1973"},{"key":"10.1016\/0167-6423(87)90008-6_BIB4","series-title":"CIP-S: An instrument for program transformation and rule generation","author":"Brass","year":"1982"},{"key":"10.1016\/0167-6423(87)90008-6_BIB5","series-title":"Dissertation","article-title":"Transformation parallel ablaufender Prozesse","author":"Broy","year":"1980"},{"key":"10.1016\/0167-6423(87)90008-6_BIB6","series-title":"Program Construction","first-page":"553","article-title":"Semantics of nondeterministic and noncontinous constructs","volume":"69","author":"Broy","year":"1979"},{"key":"10.1016\/0167-6423(87)90008-6_BIB7","series-title":"Information Processing 80","first-page":"101","article-title":"Semantics relations in programming languages","author":"Broy","year":"1980"},{"key":"10.1016\/0167-6423(87)90008-6_BIB8","series-title":"Proc. 4th International Symposium on Programming, Paris","first-page":"59","article-title":"On relations between programs","volume":"83","author":"Broy","year":"1980"},{"key":"10.1016\/0167-6423(87)90008-6_BIB9","series-title":"Proc. International Symposium on Algorithmic Languages","first-page":"203","article-title":"On design principles for programming languages: An algebraic approach","author":"Broy","year":"1981"},{"key":"10.1016\/0167-6423(87)90008-6_BIB10","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/9758.10501","article-title":"On the algebraic definition of programming languages","volume":"9","author":"Broy","year":"1987","journal-title":"ACM TOPLAS"},{"issue":"1","key":"10.1016\/0167-6423(87)90008-6_BIB11","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","article-title":"Some transformations for developing recursive programs","volume":"24","author":"Burstall","year":"1977","journal-title":"J. ACM"},{"key":"10.1016\/0167-6423(87)90008-6_BIB12","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1093\/comjnl\/9.1.45","article-title":"The equivalence of certain computations","volume":"9","author":"Cooper","year":"1966","journal-title":"Comput. J."},{"key":"10.1016\/0167-6423(87)90008-6_BIB13","first-page":"167","article-title":"A calculus for recursive program schemes","author":"de Bakker","year":"1973","journal-title":"Proc. International Conference on Automata, Languages and Programming"},{"key":"10.1016\/0167-6423(87)90008-6_BIB14","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972"},{"key":"10.1016\/0167-6423(87)90008-6_BIB15_1","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","article-title":"Untersuchungen \u00fcber das logische Schlie\u03b2en","volume":"39","author":"Gentzen","year":"1934","journal-title":"Math. Z."},{"key":"10.1016\/0167-6423(87)90008-6_BIB15_2","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01201363","article-title":"Untersuchungen \u00fcber das logische Schlie\u03b2en","volume":"39","author":"Gentzen","year":"1934","journal-title":"Math. Z."},{"key":"10.1016\/0167-6423(87)90008-6_BIB16","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","article-title":"Initial algebra semantics and continuous algebras","volume":"24","author":"Goguen","year":"1977","journal-title":"J. ACM"},{"key":"10.1016\/0167-6423(87)90008-6_BIB17","series-title":"The Science of Programming","author":"Gries","year":"1981"},{"key":"10.1016\/0167-6423(87)90008-6_BIB18","series-title":"Ph.D. Thesis","article-title":"The specification and application to programming of abstract data types","author":"Guttag","year":"1975"},{"key":"10.1016\/0167-6423(87)90008-6_BIB19","series-title":"Intuitionism: An Introduction","author":"Heyting","year":"1966"},{"key":"10.1016\/0167-6423(87)90008-6_BIB20","series-title":"Grundz\u00fcge der theoretischen Logik","author":"Hilbert","year":"1967"},{"key":"10.1016\/0167-6423(87)90008-6_BIB21","series-title":"Grundlagen der Mathematik I","author":"Hilbert","year":"1968"},{"key":"10.1016\/0167-6423(87)90008-6_BIB22","first-page":"225","article-title":"Induction rules and termination proofs","author":"Hitchock","year":"1973","journal-title":"Proc. International Conference on Automata, Languages and Programming"},{"key":"10.1016\/0167-6423(87)90008-6_BIB23","series-title":"Introduction to Metamathematics","author":"Kleene","year":"1952"},{"issue":"7","key":"10.1016\/0167-6423(87)90008-6_BIB24","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","article-title":"Algorithm = Logic + Control","volume":"22","author":"Kowalski","year":"1979","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-6423(87)90008-6_BIB25","series-title":"Einf\u00fchrung in die operative Logik und Mathematik","author":"Lorenzen","year":"1955"},{"key":"10.1016\/0167-6423(87)90008-6_BIB26","series-title":"Mathematical Theory of Computation","author":"Manna","year":"1974"},{"issue":"1","key":"10.1016\/0167-6423(87)90008-6_BIB27","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","article-title":"A deductive approach to program synthesis","volume":"2","author":"Manna","year":"1980","journal-title":"ACM TOPLAS"},{"key":"10.1016\/0167-6423(87)90008-6_BIB28","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0167-6423(81)90004-6","article-title":"Deductive synthesis of the unification algorithm","volume":"1","author":"Manna","year":"1981","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/0167-6423(87)90008-6_BIB29","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF02485815","article-title":"Chain-complete posets and directed sets with applications","volume":"6","author":"Markowsky","year":"1976","journal-title":"Algebra Univ."},{"key":"10.1016\/0167-6423(87)90008-6_BIB30","series-title":"Computer Programming and Formal Systems","article-title":"A basis for a mathematical theory of computation","author":"McCarthy","year":"1963"},{"key":"10.1016\/0167-6423(87)90008-6_BIB31","series-title":"Machine Intelligence 5","first-page":"59","article-title":"Fixpoint induction and proofs of program properties","author":"Park","year":"1969"},{"key":"10.1016\/0167-6423(87)90008-6_BIB32","series-title":"Program Transformation and Programming Environments","volume":"F8","year":"1984"},{"key":"10.1016\/0167-6423(87)90008-6_BIB33_1","series-title":"Algebraic types as a framework for program transformation","author":"Pepper","year":"1984"},{"issue":"3","key":"10.1016\/0167-6423(87)90008-6_BIB33_2","first-page":"197","article-title":"Program transformations expressed by algebraic type manipulations","volume":"5","year":"1986","journal-title":"Technique et Science Informatiques"},{"issue":"1","key":"10.1016\/0167-6423(87)90008-6_BIB34","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"a machine-oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"J. ACM"},{"key":"10.1016\/0167-6423(87)90008-6_BIB35","first-page":"169","article-title":"Outline of a mathematical theory of computation","author":"Scott","year":"1970","journal-title":"Proc. 4th Annual Princeton Conference on Information Sciences and Systems"},{"key":"10.1016\/0167-6423(87)90008-6_BIB36","series-title":"Mathematical Logic","author":"Shoenfield","year":"1967"},{"key":"10.1016\/0167-6423(87)90008-6_BIB37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","article-title":"On hierarchies of abstract data types","volume":"20","author":"Wirsing","year":"1983","journal-title":"Acta Informat."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167642387900086?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167642387900086?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T12:29:03Z","timestamp":1555072143000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167642387900086"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,12]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,12]]}},"alternative-id":["0167642387900086"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(87)90008-6","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1987,12]]}}}