{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T09:04:07Z","timestamp":1771578247915,"version":"3.50.1"},"reference-count":0,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,5,1]]},"DOI":"10.1093\/comjnl\/bxl078","type":"journal-article","created":{"date-parts":[[2007,2,2]],"date-time":"2007-02-02T12:15:48Z","timestamp":1170418548000},"page":"254-260","source":"Crossref","is-referenced-by-count":9,"title":["The Ideal of Program Correctness"],"prefix":"10.1093","volume":"50","author":[{"given":"Tony","family":"Hoare","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2007,1,29]]},"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/comjnl\/article-pdf\/50\/3\/254\/1295709\/bxl078.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,11]],"date-time":"2017-10-11T23:00:12Z","timestamp":1507762812000},"score":1,"resource":{"primary":{"URL":"http:\/\/academic.oup.com\/comjnl\/article\/50\/3\/254\/478903\/The-Ideal-of-Program-CorrectnessThird-Computer"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,29]]},"references-count":0,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2007,1,29]]},"published-print":{"date-parts":[[2007,5,1]]}},"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxl078","relation":{},"ISSN":["1460-2067","0010-4620"],"issn-type":[{"value":"1460-2067","type":"electronic"},{"value":"0010-4620","type":"print"}],"subject":[],"published-other":{"date-parts":[[2007,5]]},"published":{"date-parts":[[2007,1,29]]}}}