{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:40:08Z","timestamp":1742589608235,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_167","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:25:19Z","timestamp":1330187119000},"page":"451-459","source":"Crossref","is-referenced-by-count":2,"title":["Semantics and proof rules for coroutine hierarchies in block-structured programming languages"],"prefix":"10.1007","author":[{"given":"Peter","family":"Raulefs","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"45_CR1","unstructured":"Wadsworth, C.P. Ph.D. Thesis, Univ. of Oxford, Spt. 1971"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"Morris, J.H., P. Henderson. Proc. 3rd ACM Conf. on Principles of Programming Languages. Atlanta, Jan 1976, 95\u2013103.","DOI":"10.1145\/800168.811543"},{"key":"45_CR3","unstructured":"Friedman, D.P., D.S. Wise. Proc. 3rd Int. Coll. on Automata, Languages and Programming. Edinburgh, July 1976, 257\u2013284."},{"key":"45_CR4","unstructured":"Kahn, G., D. McQueen. Tech.Rept. Nr. 202. IRIA 1976."},{"key":"45_CR5","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/365813.365819","volume":"10","author":"O.-J. Dahl","year":"1966","unstructured":"Dahl, O.-J., K. Nygoard. CACM:10(1966)671\u2013678.","journal-title":"CACM"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Britton, D.E. et al. Proc. 3rd ACM Conf. on Principles of Programming Languages, Atlanta, Jan. 1976, 185\u2013191.","DOI":"10.1145\/800168.811552"},{"key":"45_CR7","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/BF01939412","volume":"11","author":"A. Wang","year":"1971","unstructured":"Wang, A., O.-I. Dahl. BIT:11(1971)425\u2013449.","journal-title":"BIT"},{"key":"45_CR8","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/BF00571463","volume":"2","author":"M. Clint","year":"1973","unstructured":"Clint, M. Acta Informatica:2(1973)50\u201363.","journal-title":"Acta Informatica"},{"key":"45_CR9","unstructured":"Dahl, O.J. Proc. 3rd Symp. on Math. Foundations of Computer Science. Jadwisin, June 1974, 157\u2013174."},{"key":"45_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0020-0190(76)90082-X","volume":"4","author":"P. A. Pritchard","year":"1976","unstructured":"Pritchard, P.A. Inf. Proc. Letters:4(1976)141\u2013143.","journal-title":"Inf. Proc. Letters"},{"key":"45_CR11","unstructured":"Raulefs, P. Tech. Rept. (Fall 1977) forthcoming"},{"key":"45_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/356596.356598","volume":"4","author":"P. Wegner","year":"1972","unstructured":"Wegner, P. Computing Surveys:4(1972)5\u201362.","journal-title":"Computing Surveys"},{"key":"45_CR13","unstructured":"Milne, R., Ch.Strachey. A theory of programming languages semantics. Chapmand, Hall, 1976."},{"key":"45_CR14","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"Hoare, C.A.R. CACM: 12(1969)576\u2013580.","journal-title":"CACM"}],"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_167.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:00:41Z","timestamp":1742587241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_167"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_167","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}