{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:23:54Z","timestamp":1725629034382},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540112044"},{"type":"electronic","value":"9783642683558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68355-8_7","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T15:03:00Z","timestamp":1320246180000},"page":"79-91","source":"Crossref","is-referenced-by-count":0,"title":["Ein System zur rechnerunterst\u00fctzten Spezifikation"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Hirschmann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","first-page":"204","volume":"2","author":"E Denert","year":"1979","unstructured":"Denert, E .: Software-Modularisierung Informatik-Spektrum 2 \/4, S. 204\u2013218, 1979.","journal-title":"Software-Modularisierung Informatik-Spektrum"},{"key":"7_CR2","first-page":"396","volume":"20","author":"JV Guttag","year":"1977","unstructured":"Guttag, J.V .: Abstract Data Types and the Development of Data Structures CACM 20 \/6, S. 396\u2013404, 1977.","journal-title":"Abstract Data Types and the Development of Data Structures CACM"},{"key":"7_CR3","first-page":"79","volume-title":"FB Informatik","author":"W Koch","year":"1979","unstructured":"Koch, W .: SPEZI \u2014 eine Sprache zur Formulierung von Spezifikationen TU Berlin, FB Informatik, Bericht Nr. 79\u201322, 1979."},{"key":"7_CR4","volume-title":"Reliable Software through Composite Design Petrocelli\/Charter","author":"GJ Myers","year":"1975","unstructured":"Myers, G.J .: Reliable Software through Composite Design Petrocelli\/Charter, New York 1975."},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L .: On the Criteria to be used in Decomposing Systems into Modules, CACM 15 \/12, S. 1053\u20131058, 1972.","journal-title":"CACM"},{"key":"7_CR6","volume-title":"SPECIAL \u2014 A Specification and Assertion Language Stanford Research Institute","author":"L Robinson","year":"1976","unstructured":"Robinson, L.; Roubine, O.: SPECIAL \u2014 A Specification and Assertion Language Stanford Research Institute, Menlo Park, Ca., USA, 1976."}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68355-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:28:23Z","timestamp":1606256903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68355-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540112044","9783642683558"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68355-8_7","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}