{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,25]],"date-time":"2026-08-25T22:33:51Z","timestamp":1787697231229,"version":"build-2784847793"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319284057","type":"print"},{"value":"9783319284064","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-28406-4_6","type":"book-chapter","created":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T22:17:17Z","timestamp":1452550637000},"page":"159-189","source":"Crossref","is-referenced-by-count":1,"title":["Theory of Programs"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,1,13]]},"reference":[{"key":"6_CR1","unstructured":"Back, refinement papers"},{"key":"6_CR2","unstructured":"Michael Butler: Personal communication"},{"key":"6_CR3","unstructured":"Dijkstra: A Discipline of Programming"},{"key":"6_CR4","unstructured":"Euler: Lettres \u00e0 une Princesse d\u2019Allemagne sur divers Sujets de Physique et de Philosophie, pp. 1760\u20131762"},{"key":"6_CR5","unstructured":"Furia, Meyer, Velder: Computing Surveys invariant article"},{"key":"6_CR6","unstructured":"Hehner: Predicative Programming"},{"key":"6_CR7","unstructured":"Hoare: Original paper on Laws of Programming"},{"key":"6_CR8","unstructured":"Hoare, van Staden: Newer article"},{"key":"6_CR9","unstructured":"Hoare, van Staden: Slides accompanying [8]"},{"key":"6_CR10","unstructured":"Kahn: Natural Semantics"},{"key":"6_CR11","unstructured":"Meyer: IFIP 1980 paper"},{"key":"6_CR12","unstructured":"Meyer: ETL"},{"key":"6_CR13","unstructured":"Meyer: OOSC"},{"key":"6_CR14","unstructured":"Meyer: Multirequirements"},{"key":"6_CR15","unstructured":"Morgan: Programming from Specifications"},{"key":"6_CR16","unstructured":"Shaoying Liu: paper and slides from the 2014 Futatsugi Festschrift"},{"key":"6_CR17","unstructured":"Wirth: Stepwise refinement"}],"container-title":["Lecture Notes in Computer Science","Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28406-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T05:40:48Z","timestamp":1559367648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28406-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319284057","9783319284064"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28406-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}