{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:38Z","timestamp":1725663278281},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_170","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:25:45Z","timestamp":1330187145000},"page":"475-483","source":"Crossref","is-referenced-by-count":9,"title":["Total correctness for procedures"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Soko\u0142owski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"unstructured":"Dijkstra, E.W. \"A Discipline of Programming\" Prentice-Hall 1976","key":"48_CR1"},{"key":"48_CR2","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W. \"Guarded Commands, Nondeterminacy and Formal Derivation of Programs\" Comm. ACM 18 (1975) 453\u2013457","journal-title":"Comm. ACM"},{"key":"48_CR3","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"Hoare, C.A.R. \"Axiomatic Basis for Computer Programming\" Comm. ACM 12 (1969) 576\u2013580","journal-title":"Comm. ACM"},{"key":"48_CR4","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/BFb0059693","volume":"188","author":"C. A. R. R. Hoare","year":"1971","unstructured":"Hoare, C.A.R. \"Procedures and Parameters: An Axiomatic Approach\" Lecture Notes in Mathematics 188 (1971), Symposium on Semantics of Algorithmic Languages (ed. E.Engeler) 62\u201370","journal-title":"Lecture Notes in Mathematics"},{"key":"48_CR5","first-page":"135","volume":"3","author":"C. A. R. R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.; Lauer, P. \"Consistent and Complementary Formal Theories of the Semantics of Programming Languages\" Acta Informatica 3 (1974) 135\u2013153","journal-title":"Acta Informatica"},{"unstructured":"Manna, Z. \"Mathematical Theory of Computation\" McGraw Hill 1974","key":"48_CR6"},{"key":"48_CR7","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1007\/3-540-07854-1_217","volume":"45","author":"W. P. Roever de","year":"1976","unstructured":"de Roever, W.P. \"Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination\" Lecture Notes in Computer Science 45 (1976), Mathematical Foundations of Computer Science (ed. A.Mazurkiewicz) 472\u2013481","journal-title":"Lecture Notes in Computer Science"},{"key":"48_CR8","first-page":"227","volume":"18","author":"A. Salwicki","year":"1970","unstructured":"Salwicki, A. \"Formalised Algorithmic Languages\" Bull.Acad. Polon.Sci., Serie Math.Astr.Phys., 18 (1970) 227\u2013232","journal-title":"Bull.Acad. Polon.Sci., Serie Math.Astr.Phys."},{"unstructured":"Scott, D. \"Outline of a Mathematical Theory of Computation\" Oxford University, Programming Research Group, Technical Monograph PRG-2, 1970","key":"48_CR9"},{"unstructured":"Soko\u0142owski, S. \"Axioms for Total Correctness\" to appear in Acta Informatica","key":"48_CR10"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_170.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:16Z","timestamp":1619556736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_170"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_170","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}