{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:26:24Z","timestamp":1742916384439,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642639708"},{"type":"electronic","value":"9783642594120"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"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":[[2002]]},"DOI":"10.1007\/978-3-642-59412-0_23","type":"book-chapter","created":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T06:41:04Z","timestamp":1319784064000},"page":"367-383","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Axiomatic Basis for Computer Programming"],"prefix":"10.1007","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,10,21]]},"reference":[{"key":"23_CR1","first-page":"1","volume-title":"Kybernetika","author":"YI Yanov","year":"1958","unstructured":"YANOV, Yu I. Logical operator schemes. Kybernetika 1, (1958)."},{"key":"23_CR2","first-page":"1","volume-title":"An axiomatic approach to equivalence problems of algorithms with applications","author":"S Igarashi","year":"1968","unstructured":"IGARASHI, S. An axiomatic approach to equivalence problems of algorithms with applications. Ph.D. Thesis 1964. Rep. Compt. Centre, U. Tokyo, 1968, pp. 1\u2013101."},{"key":"23_CR3","volume-title":"M.R","author":"JW De Bakker","year":"1968","unstructured":"DE BAKKER, J. W. Axiomatics of simple assignment statements. M.R. 94, Mathematisch Centrum, Amsterdam, June 1968."},{"key":"23_CR4","volume-title":"Towards a mathematical theory of computation","author":"J Mccarthy","year":"1963","unstructured":"MCCARTHY, J. Towards a mathematical theory of computation. Proc. IFIP Cong. 1962, North Holland Pub. Co., Amsterdam, 1963."},{"key":"23_CR5","volume-title":"Experimental Programming Reports: No.17 DMIP","author":"R Burstall","year":"1968","unstructured":"BURSTALL, R. Proving properties of programs by structural induction. Experimental Programming Reports: No. 17 DMIP, Edinburgh, Feb. 1968."},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/BF01939551","volume":"6","author":"A Van Wijxgaarden","year":"1966","unstructured":"VAN WIJXGAARDEN, A. Numerical analysis as an independent science. BIT 6 (1966), 66\u201381.","journal-title":"BIT"},{"key":"23_CR7","first-page":"27","volume-title":"ALGOL Bull","author":"J Laski","year":"1968","unstructured":"LASKI, J. Sets and other types. ALGOL Bull. 27, 1968."},{"doi-asserted-by":"crossref","unstructured":"FLOYD, R. W, Assigning meanings to programs. Proc. Amer. Math. Soc. Symposia in Applied Mathematics, Vol. 19, pp. 19\u201331.","key":"23_CR8","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/BF01966091","volume":"6","author":"P Naur","year":"1966","unstructured":"NAUR, P. Proof of algorithms by general snapshots. BIT 6 (1966), 310\u2013316.","journal-title":"BIT"}],"container-title":["Software Pioneers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-59412-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,28]],"date-time":"2021-05-28T07:07:39Z","timestamp":1622185659000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-59412-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783642639708","9783642594120"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-59412-0_23","relation":{},"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"21 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}