{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T22:44:45Z","timestamp":1725835485632},"publisher-location":"Dordrecht","reference-count":3,"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_7","type":"book-chapter","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T15:40:00Z","timestamp":1315842000000},"page":"135-154","source":"Crossref","is-referenced-by-count":3,"title":["Mathematics of Programming"],"prefix":"10.1007","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, Edsger W.: 1976, A Discipline of Programming. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"7_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D Gries","year":"1981","unstructured":"Gries, David: 1981, The Science of Programming. New York: Springer."},{"unstructured":"The Guardian, July 10, 1985, London, England.","key":"7_CR3"}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T16:03:36Z","timestamp":1620317016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-1793-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9789401047890","9789401117937"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-1793-7_7","relation":{},"ISSN":["0924-0780"],"issn-type":[{"type":"print","value":"0924-0780"}],"subject":[],"published":{"date-parts":[[1993]]}}}