{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:07:29Z","timestamp":1725894449228},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540071310"},{"type":"electronic","value":"9783540374015"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07131-8_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:42:07Z","timestamp":1330184527000},"page":"87-113","source":"Crossref","is-referenced-by-count":0,"title":["The reliability of programming systems"],"prefix":"10.1007","author":[{"given":"H.","family":"Gerstmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Diel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Witzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"J.J. Horning and B. Randell: Process Structuring, Computing Surveys, Vol. 5, No 1, March 1973","DOI":"10.1145\/356612.356614"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"N. Wirth: The Programming Language Pascal, Acta Informatica 1, 35\u201363 (1971)","journal-title":"Acta Informatica"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00288652","volume":"3","author":"N. Habermann","year":"1973","unstructured":"N. Habermann: Critical Comments on the Programming Language Pascal, Acta Informatica 3, 47\u201357 (1973)","journal-title":"Acta Informatica"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"P. Brinch Hansen: Concurrent Programming Concepts, Computing Surveys, Vol. 5, No 4, December 1973","DOI":"10.1145\/356622.356624"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ch. T. Davies, Jr.: Recovery Semantics for a DB\/DC System, 1973 Proceedings of the ACM","DOI":"10.1145\/800192.805694"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"L.A. Bjork: Recovery Scenario for a DB\/DC System, 1973 Proceedings of the ACM","DOI":"10.1145\/800192.805695"},{"key":"4_CR7","unstructured":"D. L. Parnas: Software Engineering or Methods for the Multi-Person Construction of Multi-Version Programs, published in these proceedings"},{"key":"4_CR8","first-page":"309","volume":"1","author":"N. Wirth","year":"1971","unstructured":"N. Wirth: The Design of a PASCAL Compiler, Software, Vol 1, 309\u2013333 (1971)","journal-title":"Software"}],"container-title":["Lecture Notes in Computer Science","Programming Methodology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07131-8_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:41Z","timestamp":1605643001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07131-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540071310","9783540374015"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-07131-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}