{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T10:23:03Z","timestamp":1762251783820},"publisher-location":"Dordrecht","reference-count":9,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401047890"},{"type":"electronic","value":"9789401117937"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-94-011-1793-7_5","type":"book-chapter","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T15:40:00Z","timestamp":1315842000000},"page":"83-96","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","reference":[{"key":"5_CR1","unstructured":"Yanov, Yu I.: 1958, \u2018Logical Operator Schemes\u2019, Kybernetika 1."},{"key":"5_CR2","first-page":"1","volume-title":"Ph.D. Thesis, 1964. Rep. Compt. Centre, U. Tokyo","author":"S Igarashi","year":"1968","unstructured":"Igarashi, S.: 1968, \u2018An Axiomatic Approach to Equivalence Problems of Algorithms with Applications\u2019, Ph.D. Thesis, 1964. Rep. Compt. Centre, U. Tokyo, pp. 1\u2013101."},{"key":"5_CR3","series-title":"M.R. 94","volume-title":"Axiomatics of Simple Assignment Statements","author":"JW Bakker De","year":"1968","unstructured":"De Bakker, J. W.: 1968, \u2018Axiomatics of Simple Assignment Statements\u2019. M.R. 94, Mathematisch Centrum, Amsterdam, June."},{"key":"5_CR4","series-title":"Proc. IFIP Cong. 1962","volume-title":"Towards a Mathematical Theory of Computation","author":"J McCarthy","year":"1963","unstructured":"McCarthy, J.: 1963, \u2018Towards a Mathematical Theory of Computation\u2019, Proc. IFIP Cong. 1962, North Holland Pub. Co., Amsterdam."},{"key":"5_CR5","series-title":"Experimental Programming Reports: No. 17 DMIP","volume-title":"Proving Properties of Programs by Structural Induction","author":"R Burstall","year":"1968","unstructured":"Burstall, R.: 1968, \u2018Proving Properties of Programs by Structural Induction\u2019, Experimental Programming Reports: No. 17 DMIP, Edinburgh, Feb."},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/BF01939551","volume":"6","author":"A Wijngaarden Van","year":"1966","unstructured":"Van Wijngaarden, A.: 1966, \u2018Numerical Analysis as an Independent Science\u2019, BIT 6, 66\u201381.","journal-title":"BIT"},{"key":"5_CR7","unstructured":"Laski, J.: 1968, \u2018Sets and other Types\u2019, ALGOL Bull. 27."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Floyd, R. W.: \u2018Assigning Meanings to Programs\u2019, Proc. Amer. Math. Soc. Symposia in Applied Mathematics, Vol. 19, pp. 19\u201331.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/BF01966091","volume":"6","author":"P Naur","year":"1966","unstructured":"Naur, P.: 1966, \u2018Proof of Algorithms by General Snapshots\u2019, BIT 6, 310\u2013316.","journal-title":"BIT"}],"container-title":["Studies in Cognitive Systems","Program Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-011-1793-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T16:03:35Z","timestamp":1620317015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-1793-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9789401047890","9789401117937"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-1793-7_5","relation":{},"ISSN":["0924-0780"],"issn-type":[{"type":"print","value":"0924-0780"}],"subject":[],"published":{"date-parts":[[1993]]}}}