{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:34:41Z","timestamp":1725464081558},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540122842"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0051558","type":"book-chapter","created":{"date-parts":[[2006,4,22]],"date-time":"2006-04-22T04:10:16Z","timestamp":1145679016000},"page":"16-27","source":"Crossref","is-referenced-by-count":0,"title":["Software structuring: A pragmatic approach"],"prefix":"10.1007","author":[{"given":"El\u0151d","family":"Knuth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"2_CR1","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: an operating system structuring concept. Comm. ACM 17, 10, pp. 549\u2013557, 1974.","journal-title":"Comm. ACM"},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/358453.358459","volume":"25","author":"A.I. Wasserman","year":"1982","unstructured":"Wasserman, A.I.: The future of programming. Comm. ACM 25, 3, pp. 196\u2013204, 1982.","journal-title":"Comm. ACM"},{"key":"2_CR3","first-page":"253","volume":"SE-2","author":"W.A. Wulf","year":"1976","unstructured":"Wulf, W.A. et al.: An introduction to the construction and verification of Alphard programs. IEEE SE-2, pp. 253\u2013264, 1976.","journal-title":"IEEE"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Guttag, J.V. et al.: The design of data type specifications. 2nd Int.Conf.on Software Engineering, San Francisco, 1976.","DOI":"10.21236\/ADA034827"},{"key":"2_CR5","unstructured":"Neuhold, E.J. (ed.): Formal description of programming concepts. North Holland, 1978."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Gries, D.: Current ideas in programming methodology. In: Research directions in software technology. MIT Press, 1980.","DOI":"10.1007\/BFb0014661"},{"key":"2_CR7","unstructured":"Information Processing Systems \u2014 Open Systems Interconnection \u2014 Basic Reference Model. Draft International Standard ISO\/DIS 7498, ISO 1982. (Open Systems)"},{"issue":"3","key":"2_CR8","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1109\/TR.1981.5221065","volume":"R-30","author":"A.F. Rosene","year":"1981","unstructured":"Rosene, A.F., Connolly, J.E., Bracy, K.M.: Software maintability \u2014 What it means and how to achieve it. IEEE Tr. on Reliability R-30, 3, pp. 240\u2013245, 1981.","journal-title":"IEEE Tr. on Reliability"}],"container-title":["Lecture Notes in Computer Science","Specification and Design of Software Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0051558.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T05:07:07Z","timestamp":1683436027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0051558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540122842"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0051558","relation":{},"subject":[]}}