{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:07:26Z","timestamp":1725894446259},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540071310"},{"type":"electronic","value":"9783540374015"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07131-8_36","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:41:52Z","timestamp":1330184512000},"page":"444-465","source":"Crossref","is-referenced-by-count":0,"title":["Programmierte Strukturen"],"prefix":"10.1007","author":[{"given":"R.","family":"Gnatz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"issue":"10","key":"17_CR1","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"C.A.R. Hoare, \"An Axiomatic Basis for Computer Programming\", Comm. ACM, 12, 10, (1969) 576\u2013581.","journal-title":"Comm. ACM"},{"key":"17_CR2","unstructured":"E. W. Dijkstra, \"Structured Programming\", in: I. N. Buxton and B. Randell (ed.), \"Software Engineering Techniques\", Report on a conference at Rome, Oct. 27\u201331, 1969."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"E. W. Dijkstra","year":"1969","unstructured":"E. W. Dijkstra, \"A Constructive Approach to the Problem of Program Correctness\", BIT 8 (1969) 174\u2013186.","journal-title":"BIT"},{"key":"17_CR4","unstructured":"E. W. Dijkstra, \"A Simple Axiomatic Basis for Programming Language Constructs\" (Report EWD 372). Lectures, given at the Marktoberdorf Summer School 1973."},{"key":"17_CR5","unstructured":"F. L. Bauer, \"A Philosophy of Programming\", Lectures given at the Imperial College of Science and Technology, University of London (1973)."},{"issue":"8","key":"17_CR6","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/368892.368915","volume":"1","author":"I. Strong","year":"1958","unstructured":"I. Strong et al., \"The Problem of Programming Communication with Changing Machines\", Comm. ACM, 1, 8 (1958) 12\u201318.","journal-title":"Comm. ACM"},{"key":"17_CR7","unstructured":"L. Redei, \"Algebra I\", Akademische Verlagsgesellschaft Geest u. Portig K.G., Leipzig (1959)."},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1515\/crll.1910.137.167","volume":"137","author":"E. Steinitz","year":"1910","unstructured":"E. Steinitz, \"Algebraische Theorie der K\u00f6rper\", J. reine angew. Math., 137, (1910) 167\u2013309.","journal-title":"J. reine angew. Math."},{"issue":"1","key":"17_CR9","first-page":"39","volume":"113","author":"IU. I. Ianov","year":"1957","unstructured":"IU. I. Ianov, \"On the Equivalence and Transformation of Program Schemes\", Doklady, AN USSR, 113, 1, (1957) 39\u201342 (ins Englische \u00fcbersetzt von Morris D. Friedman).","journal-title":"Doklady, AN USSR"},{"key":"17_CR10","volume-title":"Towards a mathematical theory of computation","author":"J. McCarthy","year":"1963","unstructured":"J. McCarthy, \"Towards a mathematical theory of computation\", Proc. IFIP Cong. 1962, North Holland Pub. Co., Amsterdam, (1963)."},{"key":"17_CR11","first-page":"5","volume":"11","author":"E. W. Dijkstra","year":"1968","unstructured":"E. W. Dijkstra, \"The Structure of the \u2018THE'-Multiprogramming System\", Comm. ACM, 11, 5 (1968) 341\u2013346.","journal-title":"Comm. ACM"},{"key":"17_CR12","unstructured":"R. Gnatz, \"DII: A Plotter \u2014 Independent Intermediate Language for Graphical Output\", Calcolo, Suppl. IX, (1972) 69\u201392."},{"key":"17_CR13","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/BF01966091","volume":"6","author":"P. Naur","year":"1966","unstructured":"P. Naur, \"Proof of algorithms by general snapshots\", BIT 6 (1966) 310\u2013316.","journal-title":"BIT"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R. W. Floyd","year":"1967","unstructured":"R. W. Floyd, \"Assigning Meanings to Programs\" Proc. Amer. Math. Soc., Symposia in Applied Mathematics, 19, (1967) 19\u201332.","journal-title":"Proc. Amer. Math. Soc., Symposia in Applied Mathematics"},{"key":"17_CR15","unstructured":"J. W. deBakker, \"Axiomatics of simple assignment statements\". M.R. 94, Mathematisch Centrum, Amsterdam (1968)."},{"key":"17_CR16","unstructured":"R. Burstall, \"Proving properties of programs by structural induction\", Experimental Programming Reports: Nr. 17 DMIP, Edinburgh, (1968)."},{"issue":"4","key":"17_CR17","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C. A. R. R. Hoare","year":"1973","unstructured":"C. A. R. Hoare and N. Wirth, \"An Axiomatic Definition of the Programming Language PASCAL\", Acta Informatica 2, 4, (1973) 335\u2013355.","journal-title":"Acta Informatica"},{"key":"17_CR18","unstructured":"D. L. Parnas, \"Information distribution aspects of design methodology\", Proc. IFIP Cong. 71, Booklet TA-3, (1971) 26\u201330."},{"key":"17_CR19","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/BF01946816","volume":"9","author":"P. Naur","year":"1969","unstructured":"P. Naur, \"Programming by Action Clusters\", BIT, 9, (1969) 250\u2013258.","journal-title":"BIT"},{"issue":"4","key":"17_CR20","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"N. Wirth, \"Program Development by Stepwise Refinement\" Comm. ACM, 14, 4, (1971) 221\u2013227.","journal-title":"Comm. ACM"},{"key":"17_CR21","first-page":"867","volume-title":"Iterative Multi-Level Modelling, a Methodology for Computer System Design","author":"F. W. Zurcher","year":"1969","unstructured":"F. W. Zurcher and B. Randell, \"Iterative Multi-Level Modelling, a Methodology for Computer System Design\", Proc. IFIP Cong. 68, North-Holland Pub. Co., Amsterdam, (1969) 867\u2013871."},{"key":"17_CR22","first-page":"525","volume":"31","author":"G. Mealy","year":"1967","unstructured":"G. Mealy, \"Another look at data\", Proc. AFIPS, 31, (1967) 525\u2013534.","journal-title":"Proc. AFIPS"},{"key":"17_CR23","first-page":"557","volume":"31","author":"R. M. Balzer","year":"1967","unstructured":"R. M. Balzer, \"Dataless programming\", Proc. AFIPS, 31, (1967) 557\u2013566.","journal-title":"Proc. AFIPS"},{"issue":"4","key":"17_CR24","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/800233.807045","volume":"9","author":"B. Liskov","year":"1974","unstructured":"B. Liskov, S. Zilles, \"Programming with Abstract Data Types\", SIGPLAN Notices, Proc. Symposium on Very High Level Languages, 9, 4, (1974) 50\u201359.","journal-title":"SIGPLAN Notices, Proc. Symposium on Very High Level Languages"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"F. L. Bauer, G. Goos, \"Informatik, eine einf\u00fchrende \u00dcbersicht\" 2 B\u00e4nde, Springer (1971).","DOI":"10.1007\/978-3-642-96078-9"},{"key":"17_CR26","unstructured":"P. Lorenzen, \"Metamathematik\", BI-Hochschultaschenb\u00fccher, 25, Mannheim (1962)."},{"key":"17_CR27","unstructured":"H. Gericke, \"Theorie der Verb\u00e4nde\" BI-Hochschultaschenb\u00fccher, 38\/38a, Mannheim (1963)."},{"issue":"3","key":"17_CR28","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF00288637","volume":"3","author":"Z. Manna","year":"1974","unstructured":"Z. Manna and A. Pneuli, \"Axiomatic Approach to Total Correctness of Programs\", Acta Informatica, 3, 3 (1974) 243\u2013263.","journal-title":"Acta Informatica"},{"key":"17_CR29","first-page":"302","volume-title":"Graphic Languages","author":"R. Gnatz","year":"1972","unstructured":"R. Gnatz, \"On Basic Concepts of Higher Graphic Languages\" in: F. Nake and A. Rosenfeld: \"Graphic Languages\", North-Holland Pub. Co., Amsterdam (1972) 302\u2013320."},{"key":"17_CR30","unstructured":"R. Gnatz, \"Sets and Predicates in Programming Languages\" Lectures given at the Marktoberdorf Summer School (1973)."}],"container-title":["Lecture Notes in Computer Science","Programming Methodology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07131-8_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:44:32Z","timestamp":1619556272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07131-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540071310","9783540374015"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-07131-8_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}