{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:32:10Z","timestamp":1725622330743},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540076193"},{"type":"electronic","value":"9783642663192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/978-3-642-66319-2_2","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T20:27:15Z","timestamp":1318969635000},"page":"12-18","source":"Crossref","is-referenced-by-count":0,"title":["Anwendung der Axiomatischen Definitionsmethode Auf H\u00f6here Programmiersprachen"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Polak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C. A. R., \u201cAn axiomatic basis for computer programming\u201d, CACM 12\/576\u2013581 (1969)","journal-title":"CACM"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"CAR Hoare","year":"1973","unstructured":"Hoare, C. A. R., Wirth, N., Axiomatic definition of the programming language PASCAL\u201c, Acta Informatica 2\/335\u2013355 (1973)","journal-title":"Acta Informatica"},{"key":"2_CR3","volume-title":"\u201cSome thoughts on variables\u201d, Bericht Nr. 19\/74","author":"G Goos","year":"1974","unstructured":"Goos, G., \u201cSome thoughts on variables\u201d, Bericht Nr. 19\/74, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (1974)"},{"key":"2_CR4","volume-title":"\u201cTowards a theory of parallel programming\u2019, International Seminar on Operating System Techniques","author":"CAR Hoare","year":"1971","unstructured":"Hoare, C. A. R., \u201cTowards a theory of parallel programming\u2019, International Seminar on Operating System Techniques, Belfast, Northern Ireland (1971)"},{"key":"2_CR5","volume-title":"An exercise in proving properties of parallel programs","author":"D Gries","year":"1975","unstructured":"Gries, D., \u201cAn exercise in proving properties of parallel programs\u201d, International Summerschool, Marktoberndorf 1975"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"van Wijngaarden, Mailloux, Peck, Koster, \u201cReport on the algorithmic language Algo168\u201d Numerische Mathematik, 14\/79\u2013218 (1969)","DOI":"10.1007\/BF02163002"},{"key":"2_CR7","volume-title":"\u201cDie Programmiersprache BALG\u201d, Bericht Nr. 6\/75","author":"G Goos","year":"1975","unstructured":"Goos, G., \u201cDie Programmiersprache BALG\u201d, Bericht Nr. 6\/75, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (1975)"}],"container-title":["Informatik-Fachberichte","Programmiersprachen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-66319-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:50:29Z","timestamp":1606254629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-66319-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540076193","9783642663192"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-66319-2_2","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1976]]}}}