{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:18:22Z","timestamp":1742962702280,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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\/bfb0014661","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"77-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Current ideas in programming methodology"],"prefix":"10.1007","author":[{"given":"David","family":"Gries","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"12_CR1","unstructured":"Buxton, J.N., P. Naur, and B. Randell (eds.) Software Engineering Concepts and Techniques. Petrocelli\/Charter, New York. (Reports on NATO conferences held in Garmisch, Oct. 1968, and Rome, Oct. 1969)"},{"key":"12_CR2","volume-title":"An Introduction to Programming: a structured approach","author":"R. Conway","year":"1973","unstructured":"Conway, R. and D. Gries. An Introduction to Programming: a structured approach. Winthrop, Cambridge, Mass. 1973 (3rd edition, 1978).","edition":"3rd edition"},{"key":"12_CR3","volume-title":"Structured Programming","author":"O.J. Dahl","year":"1972","unstructured":"Dahl, O.J., E.W. Dijkstra, and C.A.R. Hoare. Structured Programming. Academic Press, London, 1972."},{"key":"12_CR4","unstructured":"Dijkstra, E.W. \"Notes on Structured Programming\". In Dahl [72]."},{"key":"12_CR5","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"\u2014 A Discipline of Programming. Prentice Hall, Englewood Cliffs, 1976."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Floyd, R.W. \"Assigning meanings to programs\". In Math. Aspects of Computer Science, XIX American Math. Society (1967), 19\u201332.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Gries, D. \"Describing an algorithm by Hopcroft\". Acta Informatica, 1973.","DOI":"10.1007\/BF00264025"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1145\/359897.359903","volume":"20","author":"D. Gries","year":"1977","unstructured":"\u2014 \"An exercise in proving parallel programs correct\". CACM 20 (Dec 1977), 921\u2013930.","journal-title":"CACM"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-07994-7_49","volume":"46","author":"D. Gries","year":"1976","unstructured":"\u2014 \"Proof of correctness of Dijkstra's on-the-fly garbage collector\". Lecture Noted in Computer Science 46, Springer Verlag 1976, 57\u201381.","journal-title":"Lecture Noted in Computer Science"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"\u2014 \"An illustration of current ideas on the derivation of correctness proofs and correct programs\". IEEE Transactions on Software Engineering 2 (Dec 76), 238\u2013243.","DOI":"10.1109\/TSE.1976.233828"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. \"An axiomatic approach to computer programming\". CACM 12 (Oct 69), 576\u2013580, 583.","DOI":"10.1145\/363235.363259"},{"key":"12_CR12","unstructured":"McCarthy, J. \"A basis for a mathematical theory of computation\". Proceedings, Western Joint Computer Conference, Los Angeles, May 1961, 225\u2013238, and Proceedings of IFIP Congress 1962, North Holland Publishing Company, Amsterdam, 1963."},{"key":"12_CR13","volume-title":"Top-down Structured Programming Techniques","author":"C.L. McGowan","year":"1975","unstructured":"McGowan, C.L. and J.R. Kelly. Top-down Structured Programming Techniques Petrocelli Charter, New York, 1975."},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/BF01966091","volume":"6","author":"P. Naur","year":"1966","unstructured":"Naur, P. \"Proofs of algorithms by general snapshots\". BIT 6(1966), 310\u2013316.","journal-title":"BIT"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/BF01946816","volume":"9","author":"P. Naur","year":"1969","unstructured":"\u2014 \"Programming by action clusters\". BIT 9(1969), 250\u2013268.","journal-title":"BIT"},{"key":"12_CR16","volume-title":"The Preparation of Programs for an Electronic Digital Computer","author":"M.V. Wilkes","year":"1951","unstructured":"Wilkes, M.V., D.J. Wheeler, and S. Gill. The Preparation of Programs for an Electronic Digital Computer Addison-Wesley Press, Inc., Cambridge, Mass., 1951."},{"key":"12_CR17","volume-title":"Systematic Programming: an Introduction","author":"N. Wirth","year":"1973","unstructured":"Wirth, N. Systematic Programming: an Introduction. Prentice Hall, Englewood Cliffs, N.J., 1973."}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T05:03:17Z","timestamp":1660885397000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014661"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0014661","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"}}]}}