{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:02:00Z","timestamp":1725624120520},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540090380"},{"type":"electronic","value":"9783642670916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-3-642-67091-6_1","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T14:36:38Z","timestamp":1319207798000},"page":"1-28","source":"Crossref","is-referenced-by-count":2,"title":["Design of a programming language for a program transformation system"],"prefix":"10.1007","author":[{"given":"F. L.","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Software engineering techniques","year":"1970","key":"1_CR1","unstructured":"J.N. Buxton, B. Randell (eds.): Software engineering techniques. NATO Scientific Affairs Division, Bruxelles, 1970"},{"key":"1_CR2","volume-title":"Informatik \u2014 Eine einf\u00fchrende \u00dcbersicht. 2 Vols","author":"FL Bauer","year":"1973","unstructured":"F.L. Bauer, G. Goos: Informatik \u2014 Eine einf\u00fchrende \u00dcbersicht. 2 Vols. 2nd ed. Springer, 1973, 1974","edition":"2"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"PJ Landin","year":"1966","unstructured":"P.J. Landin: The next 700 programming languages. Comm. ACM 9, 157\u2013166 (1966)","journal-title":"Comm. ACM"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D Scott","year":"1976","unstructured":"D. Scott: Data types as lattices. SIAM Journal of Computing 5, 522\u2013587 (1976)","journal-title":"SIAM Journal of Computing"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1093\/comjnl\/9.1.45","volume":"9","author":"DC Cooper","year":"1966","unstructured":"D.C. Cooper: The equivalence of certain computations. Computer Journal 9, 45\u201352 (1966)","journal-title":"Computer Journal"},{"key":"1_CR6","volume-title":"Proceedings 2nd All-Union Conference on Programming","author":"FL Bauer","year":"1970","unstructured":"F.L. Bauer: Programming Languages under Educational and under Professional Aspects (Russian). In: Proceedings 2nd All-Union Conference on Programming, Novosibirsk, February 1970"},{"key":"1_CR7","volume-title":"Lecture Notes of the International Summer School on Program Construction","author":"EW Dijkstra","year":"1978","unstructured":"E.W. Dijkstra: In honour of Fibonacci. EWD654. In: Lecture Notes of the International Summer School on Program Construction, Marktoberdorf, 1978"},{"key":"1_CR8","series-title":"Rep. No. 7612","volume-title":"A family of rules for recursion removal related to the Towers of Hanoi problem","author":"H Partsch","year":"1976","unstructured":"H. Partsch, P. Pepper: A family of rules for recursion removal related to the Towers of Hanoi problem. Institut f\u00fcr Informatik der Technischen Universit\u00e4t M\u00fcnchen, Rep. No. 7612, 1976. Also: Information Processing Letters, 5, 1974 \u2013 1977 (1976)"},{"key":"1_CR9","volume-title":"A discipline of programming","author":"EW Dijkstra","year":"1976","unstructured":"E.W. Dijkstra: A discipline of programming. Prentice-Hall, Englewood Cliffs, N.J., 1976"},{"key":"1_CR10","volume-title":"A mathematical model for nondeterministic computations","author":"H Egli","year":"1975","unstructured":"H. Egli: A mathematical model for nondeterministic computations. ETH Z\u00fcrich, 1975"},{"key":"1_CR11","volume-title":"Algorithmen und Objektstrukturen","author":"TA Matzner","year":"1978","unstructured":"T.A. Matzner: Entwicklung eines Algorithmus f\u00fcr Depth-first-search mit einer einfachen Anwendung. In: Algorithmen und Objektstrukturen. Institut f\u00fcr Informatik der Technischen Universit\u00e4t M\u00fcnchen, Interner Bericht, 1978"},{"key":"1_CR12","volume-title":"Operational, mathematical and axiomatized semantics for recursive procedures and data structures","author":"WP Roever de","year":"1974","unstructured":"W.P. de Roever: Operational, mathematical and axiomatized semantics for recursive procedures and data structures. Mathematisch Centrum, Amsterdam, 1974"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"780","DOI":"10.1145\/362919.362936","volume":"14","author":"WA Wulf","year":"1971","unstructured":"W.A. Wulf, D.B. Russell, A.N. Habermann: BLISS: A language for systems programming. Comm. ACM 14, 780\u2013790 (1971)","journal-title":"Comm. ACM"},{"key":"1_CR14","series-title":"Infotech State of the Art Report 34","first-page":"25","volume-title":"Software Engineering Techniques","author":"FL Bauer","year":"1977","unstructured":"F.L. Bauer, H. Partsch, P. Pepper, H. W\u00f6ssner: Techniques for program development. In: Software Engineering Techniques. Infotech State of the Art Report 34. Maidenhead: Infotech International 1977, p. 25\u201330"},{"key":"1_CR15","series-title":"Lecture Notes of the International Summer School on Program Construction","volume-title":"Detailization and lazy evaluation, infinite objects and pointer representation","author":"FL Bauer","year":"1978","unstructured":"F.L. Bauer: Detailization and lazy evaluation, infinite objects and pointer representation. Lecture Notes of the International Summer School on Program Construction, Marktoberdorf, 1978"}],"container-title":["Informatik-Fachberichte","GI \u2014 8. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67091-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:54:12Z","timestamp":1606254852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67091-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540090380","9783642670916"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67091-6_1","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1978]]}}}