{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:28:11Z","timestamp":1767929291147,"version":"3.49.0"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1972,1,1]],"date-time":"1972-01-01T00:00:00Z","timestamp":63072000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1972]]},"DOI":"10.1007\/bf00289507","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T04:01:52Z","timestamp":1096948912000},"page":"271-281","source":"Crossref","is-referenced-by-count":799,"title":["Proof of correctness of data representations"],"prefix":"10.1007","volume":"1","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth, N.: The development of programs by stepwise refinement. Comm. ACM. 14, 221?227 (1971).","journal-title":"Comm. ACM."},{"key":"CR2","unstructured":"Dijkstra, E. W.: Notes on structured programming. In Structured Programming. Academic Press (1972)."},{"key":"CR3","unstructured":"Hoare, C. A. R.: Notes on data structuring. Ibid."},{"key":"CR4","unstructured":"Dahl, O.-J.: Hierachical program structures. Ibid."},{"key":"CR5","unstructured":"Milner, R.: An algebraic definition of simulation between programs. CS 205 Stanford University, February 1971."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"E. W. Dijkstra","year":"1968","unstructured":"Dijkstra, E. W.: A constructive approach to the problem of program correctness. BIT. 8, 174?186 (1968).","journal-title":"BIT"},{"key":"CR7","series-title":"Publication No. S-22","volume-title":"The Simula 67 common base language","author":"O.-J. Dahl","year":"1970","unstructured":"Dahl, O.-J., Myhrhaug, B., Nygaard, K.: The Simula 67 common base language. Norwegian Computing Center, Oslo, Publication No. S-22, 1970."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R.: An axiomatic approach to computer programming. Comm. ACM. 12, 576?580, 583 (1969).","journal-title":"Comm. ACM."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289507.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289507\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:14:54Z","timestamp":1554758094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289507"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1972]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1972]]}},"alternative-id":["BF00289507"],"URL":"https:\/\/doi.org\/10.1007\/bf00289507","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1972]]}}}