{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:28Z","timestamp":1725662848172},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106999"},{"type":"electronic","value":"9783540386544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10699-5_116","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:13:28Z","timestamp":1330172008000},"page":"419-431","source":"Crossref","is-referenced-by-count":6,"title":["On the representation of data types"],"prefix":"10.1007","author":[{"given":"F.","family":"Orejas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"26_CR1","unstructured":"ADJ (J.A. Goguen, J.W. Thatcher, E.G. Wagner), An initial algebra approach to the specification, correctness and implementation of abstract data types, IBM Research Report RC-6487, 1976."},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"ADJ (J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright), Initial algebra semantics and continuous algebras, JACM:24 (1977), 68\u201395.","journal-title":"JACM"},{"key":"26_CR3","unstructured":"ADJ (J.W. Thatcher, E.G. Wagner, J.B. Wright), Many-sorted and ordered algebraic theories, IBM Research Report RC-7595, 1979."},{"key":"26_CR4","first-page":"155","volume":"64","author":"H. D. Ehrich","year":"1978","unstructured":"H.D. Ehrich, Extensions and implementations of abstract data type specifications, Proc. Conf. MFCS'78, Zakopane, Springer Lect. Not. in Comp. Sci. 64, 1978, 155\u2013163.","journal-title":"Proc. Conf. MFCS'78, Zakopane, Springer Lect. Not. in Comp. Sci."},{"key":"26_CR5","first-page":"142","volume":"85","author":"H. Ehrig","year":"1980","unstructured":"H. Ehrig, H.-J. Kreowski, P. Padawitz, Algebraic implementation of abstract data types: concept, syntax, semantics and correctness, Proc. ICALP' 80, Springer Lect. Not. in Comp. Sci. 85, 1980, 142\u2013156.","journal-title":"Proc. ICALP' 80, Springer Lect. Not. in Comp. Sci."},{"key":"26_CR6","unstructured":"J.A. Goguen, Abstract errors for abstract data types, UCLA Semantics Theory of Computation Report 6, February 1977."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser, Abstract data types and software validation, USC Research Report ISI\/RR-76-48, 1976.","DOI":"10.21236\/ADA029896"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"C.A.R. Hoare, Proof of correctness of data representations, Acta Informatica, 1 (1972), 271\u2013281.","journal-title":"Acta Informatica"},{"key":"26_CR9","unstructured":"R. Nakajima, M. Honda, H. Nakahara, Describing and verifying programs with abstract data types, in Formal Description of Programming Concepts, Ed. E.J. Neuhold, 527\u2013556, North-Holland, 1978."},{"key":"26_CR10","first-page":"052","volume":"80","author":"C. Pair","year":"1980","unstructured":"C. Pair, Sur les mod\u00e8les des types abstraits alg\u00e9briques, Centre de Recherche en Informatique de Nancy Research Report 80 P 052, 1980.","journal-title":"Centre de Recherche en Informatique de Nancy Research Report"}],"container-title":["Lecture Notes in Computer Science","Formalization of Programming Concepts"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10699-5_116.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:03:17Z","timestamp":1605625397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10699-5_116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106999","9783540386544"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-10699-5_116","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}