{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:30:12Z","timestamp":1742380212943},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540079941"},{"type":"electronic","value":"9783540379720"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07994-7_56","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:15:50Z","timestamp":1330186550000},"page":"242-265","source":"Crossref","is-referenced-by-count":8,"title":["The structure of an operating system"],"prefix":"10.1007","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"11_CR1","unstructured":"G. Birtwhistle et al. SIMULA begin. Student Litteratur and Auerbach, 1974."},{"issue":"7","key":"11_CR2","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1145\/361454.361473","volume":"15","author":"P. Brinch Hansen","year":"1972","unstructured":"P. Brinch Hansen. Structured Multiprogramming. Comm. ACM, 15, 7 (July 1972), 574\u2013577.","journal-title":"Comm. ACM"},{"key":"11_CR3","unstructured":"O.-J. Dahl. Hierarchical Program Structures. in Structured Programming, Academic Press, 1972."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra. Structure of the T.H.E. Multiprogramming System. Comm. ACM 11 (1968), 341.","DOI":"10.1145\/363095.363143"},{"key":"11_CR5","unstructured":"J. Elder, Ph.D. thesis, Queen's University, Belfast."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica 1 (1972), 271\u2013281.","journal-title":"Acta Informatica"},{"issue":"10","key":"11_CR7","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. R. Hoare","year":"1974","unstructured":"C.A.R. Hoare. Monitors: an Operating System Structuring Concept, Comm. ACM, 17, 10 (October 1974), 549\u2013557.","journal-title":"Comm. ACM"},{"key":"11_CR8","unstructured":"P. Naur (ed.). Report on the Algorithmic Language ALGOL 60."},{"key":"11_CR9","unstructured":"R. Needham. Protection and Process Management in the CAP computer. in Protection in Operating Systems, IRIA 1974."},{"key":"11_CR10","unstructured":"D. Parnas. Information distribution aspects of software methodology. Proceedings of IFIP Congress, 1974."},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"N. Wirth. The Programming Language PASCAL. Acta Informatica 1, 1 (1971), 35\u201363.","journal-title":"Acta Informatica"},{"key":"11_CR12","unstructured":"J. Palme. Protected Program Modules in SIMULA 67. FOA P report C8372 Sept. 1973."}],"container-title":["Lecture Notes in Computer Science","Language Hierarchies and Interfaces"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07994-7_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:51:02Z","timestamp":1619556662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07994-7_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540079941","9783540379720"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-07994-7_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]}}}