{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:24:46Z","timestamp":1725625486179},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540097730"},{"type":"electronic","value":"9783642674853"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/978-3-642-67485-3_10","type":"book-chapter","created":{"date-parts":[[2011,10,26]],"date-time":"2011-10-26T21:50:01Z","timestamp":1319665801000},"page":"181-198","source":"Crossref","is-referenced-by-count":1,"title":["Neue Aspekte Algebraischer Spezifikationsschemata f\u00fcr Datenbanksysteme"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"H.-J.","family":"Kreowski","sequence":"additional","affiliation":[]},{"given":"H.","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Burstall, R.M., Goguen, J.A.: Putting Theories Together to Make Specifications, Proc. Int. Jt. Conf. on Artificial Intelligence, Boston, August 1977"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Codd, E.F.: A Relational Model of Data for Large Shared Data Banks, COMM. ACM 13,6 (1970)","DOI":"10.1145\/362384.362685"},{"key":"10_CR3","unstructured":"Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming, Academic Press, 1972"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.-J., Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. 5th ICALP, Udine 1978 Springer Lecture Notes in Computer Science","DOI":"10.1007\/3-540-08860-1_16"},{"key":"10_CR5","unstructured":"Ehrig, H., Kreowski, H.-J., Padawitz, P.: Algebraic Implementation of Abstract Data Types, in preparation"},{"key":"10_CR6","first-page":"427","volume-title":"Algebraic Specification Schemes for Data Base Systems","author":"H Ehrig","year":"1978","unstructured":"Ehrig, H., Kreowski, H.-J., Weber, H.: Algebraic Specification Schemes for Data Base Systems, Proc. 4th VLDB Conf, Berlin 1978, 427\u2013440, earlier version in Technical Report HMI-B266, HMI Berlin, 1978"},{"key":"10_CR7","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, IBM Research Report RC 6487 (1976)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Guttag, J.V.: Abstract Data Types and the Development of Data Structures, supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March, 1976","DOI":"10.1145\/800237.807124"},{"key":"10_CR9","unstructured":"Liskov, B.H.: An Introduction to CLU, MIT, CSG Memo 136, 1976"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Mills, H.D.: The New Math of Computer Programming, CACM 18,1 (1975)","DOI":"10.1145\/360569.360659"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. SIGACT 10th Annual Symposium on Theory of Computing, San Diego, May 1978","DOI":"10.1145\/800133.804340"},{"key":"10_CR12","unstructured":"Weber, H.: The D-Graph Model of Large Shared Data Bases: A Representation of Integrity Constraints and Views on Abstract Data Types, IBM Research Report RJ 1875 (27024) 1976"},{"key":"10_CR13","unstructured":"Weber, H.: A Software Engineering View of Data Base Systems; Proceedings 4th VLDB Conf., 1978"},{"key":"10_CR14","series-title":"Proj. MAC Report 11","first-page":"25","volume-title":"Algebraic Specification of Data Types","author":"SN Zilles","year":"1974","unstructured":"Zilles, S.N.: Algebraic Specification of Data Types, Proj. MAC Report 11, MIT, Cambridge, Mass (1974) 25\u201328"}],"container-title":["Informatik-Fachberichte","Formale Modelle f\u00fcr Informationssysteme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67485-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:44:09Z","timestamp":1606254249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67485-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540097730","9783642674853"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67485-3_10","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1979]]}}}