{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:41Z","timestamp":1725663281400},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540102915"},{"type":"electronic","value":"9783540384359"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10291-4_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:09:17Z","timestamp":1330189757000},"page":"250-267","source":"Crossref","is-referenced-by-count":2,"title":["A framework for data structures"],"prefix":"10.1007","author":[{"given":"H. -W.","family":"Six","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"17_CR1","volume-title":"Current trends in programming methodology. IV, Data structuring","author":"J. A. Goguen","year":"1978","unstructured":"J.A. GOGUEN, J.W. THATCHER, E.G. WAGNER: An initial algebra approach to the specification, correctness and implementation of abstract data types, in R.T. Yeh (ed.) Current trends in programming methodology. IV, Data structuring, Prentice Hall, Englewood Cliffs, New Jersey, (1978)"},{"unstructured":"J.A. Bergstra, H.J.M. Goeman, A. Ollongren, G.A. Terpstra, Th.P. van der Weide: Axions for multilevel objects, submitted for publication in Fundamenta Informaticae (1978)","key":"17_CR2"},{"unstructured":"H.-D. Ehrich: Ein axiomatischer Ansatz f\u00fcr eine Algebra strukturierter Objekte, Bericht 5\/74, Abteilung. Informatik, Universit\u00e4t Dortmund (1974)","key":"17_CR3"},{"unstructured":"H.-D. Ehrich: Outline of an algebraic theory of structured objects, Automata, Languages and Programming, Third Intern. Colloquium, Edinburgh University Press (1976)","key":"17_CR4"},{"unstructured":"H. Goeb: Semantische Beschreibung listenverarbeitender Algorithmen durch eine Verallgemeinerung der Wiener Definitionssprache, Arbeitsbericht Band 7, Nol, Institut f. Math. Maschinen und Datenverarbeitung, Universit\u00e4t Erlangen (1974)","key":"17_CR5"},{"issue":"3","key":"17_CR6","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/988071.988075","volume":"14","author":"S. Kamin","year":"1979","unstructured":"S. Kamin: Some definitions for algebraic data type specifications, SIGPLAN Notices 14(3) (1979) 28\u201337.","journal-title":"SIGPLAN Notices"},{"issue":"5","key":"17_CR7","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/988090.988096","volume":"14","author":"D. Kapur","year":"1979","unstructured":"D. Kapur: Specifications of Majster's Traversable Stack and Veloso's Traversable Stack, SIGPLAN Notices 14(5) (1979) 46\u201353.","journal-title":"SIGPLAN Notices"},{"unstructured":"P. Lucas, P. Lauer, H. Stigleitner: Method and notation for the formal definition of programming languages, Techn. Report TR 25.087, IBM Lab. Vienna (1968) revised 1970","key":"17_CR8"},{"issue":"10","key":"17_CR9","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/954627.954630","volume":"12","author":"M. E. Majster","year":"1977","unstructured":"M.E. Majster: Limits of the \"algebraic\" specification of abstract data types, SIGPLAN Notices 12 (10) (1977) 37\u201342.","journal-title":"SIGPLAN Notices"},{"key":"17_CR10","volume-title":"Datenstrukturen","author":"J. M\u00fchlbacher","year":"1975","unstructured":"J. M\u00fchlbacher: Datenstrukturen,Carl Hanser Verlag, M\u00fcnchen-Wien (1975)"},{"unstructured":"A. Ollongren: A theory for the objects of the Vienna Definition Language, Techn Report TR 25.123, IBM Lab. Vienna (1971)","key":"17_CR11"},{"unstructured":"A. Ollongren: Multilevel arrays as datatypes, Bericht 91\/1979, Abteilung Informatik, Universit\u00e4t Dortmund (1979)","key":"17_CR12"},{"doi-asserted-by":"crossref","unstructured":"T.W. Pratt: A hierarchical graph model of the semantics of programs, Proceedings AFIPS SJCC (1969) 813\u2013825","key":"17_CR13","DOI":"10.1145\/1476793.1476930"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1147\/rd.192.0163","volume":"19","author":"A. L. Rosenberg","year":"1975","unstructured":"A.L. Rosenberg, J.W. Thatcher: What is a multilevel array, IBM Journal of Research and Development, Vol 19 (1975) 163\u2013169","journal-title":"IBM Journal of Research and Development"},{"key":"17_CR15","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1145\/355620.361170","volume":"10","author":"B. Shneiderman","year":"1974","unstructured":"B. Shneiderman, P. Scheuermann: Structured data structures, Comm.ACM 17, 10 (1974) 566\u2013574","journal-title":"Comm.ACM 17"},{"unstructured":"H.W. Six: Ein Modell zur Beschreibung von Datenstrukturen und deren Realisationen, Dissertation, Universit\u00e4t Karlsruhe (1978)","key":"17_CR16"},{"key":"17_CR17","volume-title":"Data structures-an axiomatic approach, Techn. Report 2639","author":"T. Standish","year":"1973","unstructured":"T. Standish: Data structures-an axiomatic approach, Techn. Report 2639, Bolt Beranek and Newman, Inc., Cambridge, Mass. (1973)"},{"unstructured":"K. Walk, K. Alber, M. Fleck, H. Goldmann, E. Moser, P. Oliva, H. Stigleitner, G. Zeisel: Abstract syntax and interpretation of PL\/1, Techn Report TR 25.098, IBM Lab. Vienna (1969)","key":"17_CR18"},{"issue":"1","key":"17_CR19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/356596.356598","volume":"4","author":"P. Wegner","year":"1972","unstructured":"P. Wegner: The Vienna Definition Language, ACM Computing Surveys 4(1) (1972) 5\u201363","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Graphtheoretic Concepts in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10291-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:36:51Z","timestamp":1619555811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10291-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540102915","9783540384359"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-10291-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}