{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:05:44Z","timestamp":1725894344730},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540159995"},{"type":"electronic","value":"9783642708404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-70840-4_4","type":"book-chapter","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T03:27:22Z","timestamp":1320377242000},"page":"58-69","source":"Crossref","is-referenced-by-count":0,"title":["Rechnergest\u00fctzte Systeme f\u00fcr den Programmentwurf"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Lecture Notes in Computer Science","author":"FL Bauer","year":"1985","unstructured":"F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Br\u00fcckner, A. Laut, T. Matzner, B. M\u00f6ller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Berlin-Heidelberg-New York-Tokyo: Springer 1985"},{"key":"4_CR2","first-page":"2","volume":"27","author":"P Rechenberg","year":"1985","unstructured":"P. Rechenberg (Gasthrg.): Schwerpuriktthema: Werkzeuge der Softwaretechnik. Elektronische Rechenanlagen 27: 2, 1985","journal-title":"Elektronische Rechenanlagen"},{"key":"4_CR3","volume-title":"Rapid Prototyping for Algebraic Specifications \u2014 RAP System User\u2019s Manual","author":"H Hussmann","year":"1985","unstructured":"H. Hussmann: Rapid Prototyping for Algebraic Specifications \u2014 RAP System User\u2019s Manual. Universit\u00e4t Passau, Fakult\u00e4t fur Mathematik und Informatik, MIP 8504, 1985"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-3-642-69298-7_5","volume-title":"GI-13. Jahrestagung. Informatik-Fachberichte","author":"J Nievergelt","year":"1983","unstructured":"J. Nievergelt: Die Gestaltung der Mensch-Maschine Schnittstelle. In: I. Kupka (Hrsg.): GI-13. Jahrestagung. Informatik-Fachberichte 73, Berlin-Heidelberg-New York-Tokyo: Springer 1983, 41\u201350"},{"volume-title":"Program Transformation and Programming Environments","year":"1984","key":"4_CR5","unstructured":"P. Pepper (ed.): Program Transformation and Programming Environments. Berlin-Heidelberg-New York-Tokyo: Springer 1984"}],"container-title":["Informatik-Fachberichte","Wissensbasierte Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70840-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T23:08:18Z","timestamp":1606259298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70840-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159995","9783642708404"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70840-4_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}