{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:21:41Z","timestamp":1743049301787,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540092513"},{"type":"electronic","value":"9783540353126"}],"license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/bfb0014682","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"543-552","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards a wide spectrum language to support program specification and program development"],"prefix":"10.1007","author":[{"given":"F. L.","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Broy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Gnatz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Hesse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Krieg-Br\u00fccknert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Partsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Pepper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"W\u00f6ssner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"33_CR1","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-07994-7_55","volume-title":"Language Hierarchies and Interfaces","author":"F. L. Bauer","year":"1976","unstructured":"F.L. Bauer: A Philosophy of Programming. A Course of three Lectures given at the University of London, October 1973 Also in: Proc. Intern. Summer School on Language Hierarchies and Interfaces, Maktoberdorf 1975 Lecture Notes in Computer Science 46. Berlin, Heidelberg, New York: Springer 1976"},{"key":"33_CR2","unstructured":"F.L. Bauer: Programming as an Evolutionary Process. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Rep. No. 7617, 1976 Also: Proc. 2nd Int. Conf. on Software Engineering, Oct. 1976, San Francisco, Ca., 223\u2013234"},{"key":"33_CR3","unstructured":"F.L. Bauer, H. Partsch, P. Pepper, H. W\u00f6ssner: Techniques for Program Development. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Interner Bericht, Sept. 1976 Also in: Software Engineering Techniques. Infotech State of the Art Report 34, 1977"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Br\u00fcckner: Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7722, 1977","DOI":"10.1007\/978-3-642-87956-2_5"},{"key":"33_CR5","unstructured":"F.L. Bauer, H. Partsch, P. Pepper, H. W\u00f6ssner: Notes on the Project CIP: Outline of a Transformation System. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7729, 1977"},{"key":"33_CR6","unstructured":"M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Rep. No. 7701, 1977"},{"issue":"6","key":"33_CR7","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/390016.808470","volume":"10","author":"R. M. Burstall","year":"1975","unstructured":"R.M. Burstall, J. Darlington: Some Transformations for Developing Recursive Programs. Proc. of the Int. Conf. on Reliable Software, Los Angeles 1975, 465\u2013472 Also (revised version): J. ACM 24, 44\u201367 (1977)","journal-title":"ACM SIGPLAN Notices"},{"key":"33_CR8","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"E.W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 453\u2013457 (1975)","journal-title":"Comm. ACM"},{"key":"33_CR9","volume-title":"Machine Oriented Higher Level Languages","author":"F. Geiselbrechtinger","year":"1974","unstructured":"F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig: Language Layers, Portability and Program Structuring. In: W.L. van der Poel, L. Maarsen (eds.): Machine Oriented Higher Level Languages. Amsterdam: North-Holland 1974"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"S.L. Gerhart: Correctness-Preserving Program Transformations. Conf. Rec. Second ACM Symp. on Principles of Programming Languages, Jan. 1975, 54\u201366","DOI":"10.1145\/512976.512983"},{"key":"33_CR11","unstructured":"R. Gnatz: Zur Konstruktion von Programmen durch Transformation. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7741, 1977"},{"key":"33_CR12","unstructured":"R.Gnatz, P. Pepper: fusc: An Example in Program Development. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7711, 1977"},{"issue":"2","key":"33_CR13","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00976239","volume":"4","author":"C. A. R. Hoare","year":"1975","unstructured":"C.A.R. Hoare: Recursive Data Structures. Stanford University A.I. Lab., STAN-CS-73-400, Oct. 1973 Also: Internat. J. Comput. Information Sci. 4:2, 105\u2013132 (1975)","journal-title":"International Journal of Computer & Information Sciences"},{"issue":"4","key":"33_CR14","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:4, 261\u2013301 (1974)","journal-title":"Computing Surveys"},{"key":"33_CR15","unstructured":"B. Krieg-Br\u00fcckner: Concrete and Abstract Specification, Modularization and Program Development by Transformation. Dissertation, Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7805, 1978"},{"key":"33_CR16","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/954666.971189","volume":"12","author":"B.W. Lampson","year":"1977","unstructured":"B.W. Lampson, J.J. Horning, R.L. London, J.G. Nitchell, G.J. Popek: Report on the Programming Language Euclid. SIGPLAN Notices 12:2, Feb. 1977","journal-title":"SIGPLAN Notices"},{"issue":"1","key":"33_CR17","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"1","author":"B. Liskov","year":"1975","unstructured":"B. Liskov, S. Zilles: Specification Techniques for Data Abstraction. IEEE Trans. on Software Eng. 1:1, 7\u201318 (1975)","journal-title":"IEEE Trans. on Software Eng."},{"key":"33_CR18","unstructured":"J. McCarthy: Towards a Mathematical Science of Computation. Proc. IFIP Congress 62, M\u00fcnchen. Amsterdam: North-Holland 1962"},{"key":"33_CR19","volume-title":"Computer Programming and Formal Systems","author":"J. McCarthy","year":"1963","unstructured":"J. McCarthy: A Basis for a Mathematical Theory of Computation. In: P. Braffort, D. Hirschberg (eds.): Computer Programming and Formal Systems. Amsterdam: North-Holland 1963"},{"key":"33_CR20","unstructured":"H. Partsch, P. Pepper: Program Transformation on Different Levels of Programming. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7715, 1977"},{"key":"33_CR21","unstructured":"P. Pepper, F.L. Bauer, B. Krieg-Br\u00fcckner: Development of Data-Structures. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Internal Report 1977"},{"key":"33_CR22","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 J. on Computing 5, 522\u2013587 (1976)","journal-title":"SIAM J. on Computing"},{"key":"33_CR23","doi-asserted-by":"crossref","unstructured":"T.A. Standish, D.C. Harriman, D.F. Kibler, J.M. Neighbors: Improving and Refining Programs by Program Manipulation. Proc. 1976 ACM Annual Conf., Oct. 1976, 509\u2013516","DOI":"10.1145\/800191.805652"},{"key":"33_CR24","unstructured":"R. Steinbr\u00fcggen: Equivalent Recursive Definitions of Certain Number Theoretical Functions. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7714, 1977"}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014682","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T05:07:13Z","timestamp":1660885633000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014682"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0014682","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}