{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:09Z","timestamp":1725663729207},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525134"},{"type":"electronic","value":"9783540470069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52513-0_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:34:37Z","timestamp":1330205677000},"page":"72-98","source":"Crossref","is-referenced-by-count":0,"title":["Correctness in the small"],"prefix":"10.1007","author":[{"given":"Peter","family":"Haastrup","sequence":"first","affiliation":[]},{"given":"Christian","family":"Gram","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"5_CR1","volume-title":"Software Architectures and Programming Systems Design","author":"B. Dines","year":"1986","unstructured":"Dines Bj\u00f8rner. Software Architectures and Programming Systems Design. 1986, Department of Computer Science, Technical University, Denmark."},{"key":"5_CR2","unstructured":"J.-P. Delahaye. Formal Methods in Artificial Intelligence. 1987, North Oxford Academic Publishers Ltd."},{"key":"5_CR3","unstructured":"E. W. Dijkstra. A Discipline of Programming. 1976, Prentice-Hall"},{"key":"5_CR4","unstructured":"Chr. Gram. Weakest Precondition for Read. Techn. Report ID-TR 1989-57, Department of Computer Science, Technical University, Denmark."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"D. Gries. The Science of Programming. 1981, Springer-Verlag.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"5_CR6","unstructured":"A.G. Hamilton. Logic for Mathematicians. 1978, Cambridge University Press."},{"key":"5_CR7","unstructured":"Cliff B. Jones. Systematic Software Development Using VDM. 1986, Prentice-Hall."},{"key":"5_CR8","unstructured":"A. Olsen. User manual for TFL's META-IV tool. 1988, TFL."}],"container-title":["Lecture Notes in Computer Science","VDM '90 VDM and Z \u2014 Formal Methods in Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52513-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:23Z","timestamp":1605648263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52513-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525134","9783540470069"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-52513-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}