{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:15Z","timestamp":1725663435150},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540517221"},{"type":"electronic","value":"9783540467878"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51722-7_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:14:40Z","timestamp":1330204480000},"page":"142-156","source":"Crossref","is-referenced-by-count":9,"title":["Objects, object types, and object identification"],"prefix":"10.1007","author":[{"given":"H. -D.","family":"Ehrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"9_CR1","first-page":"69","volume":"29","author":"P. America","year":"1986","unstructured":"America, P.: Object-Oriented Programming: A Theoretician's Introduction. EATCS Bulletin 29 (1986), 69\u201384","journal-title":"EATCS Bulletin"},{"key":"9_CR2","unstructured":"Bergstra,J.A.;Tucker,J.V.: The Inescapable Stack: an Exercise in Algebraic Specification with Total Functions. Report No. P8804, Programming Research Group, University of Amsterdam 1988"},{"volume-title":"Proc. Int. Workshop on Object-Oriented Database Systems","year":"1986","key":"9_CR3","unstructured":"Dayal, U.;Dittrich, K.(eds): Proc. Int. Workshop on Object-Oriented Database Systems. IEEE Computer Society, Los Angeles 1986"},{"key":"9_CR4","volume-title":"SIMULA 67, Common Base Language","author":"O.-J. Dahl","year":"1967","unstructured":"Dahl. O.-J.;Myhrhaug, B.:Nygaard, K.: SIMULA 67, Common Base Language, Norwegian Computing Center, Oslo 1967"},{"key":"9_CR5","first-page":"412","volume":"240","author":"H.-D. Ehrich","year":"1986","unstructured":"Ehrich, H.-D.: Key Extensions of Abstract Data Types. Final Algebras, and Database Semantics. Proc. Workshop on Category Theory and Computer Programming (D. Pitt et al, eds.), LNCS 240, Springer-Verlag, Berlin 1986, 412\u2013433","journal-title":"LNCS"},{"key":"9_CR6","first-page":"119","volume-title":"Data and Knowledge","author":"H.-D. Ehrich","year":"1988","unstructured":"Ehrich, H.-D.;Drosten, K.;Gogolla, M.: Towards an Algebraic Semantics for Database Specification. Data and Knowledge, R. Meersman, A. Sernadas (eds.), North-Holland, Amsterdam 1988, 119\u2013135"},{"key":"9_CR7","unstructured":"Ehrich,H.-D.;Sernadas,A.;Sernadas,C.: From Data Types to Object Types (to be published)"},{"key":"9_CR8","unstructured":"Goguen,J.A.;Meseguer,J.: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In SW87, 417\u2013477"},{"key":"9_CR9","volume-title":"Topoi, the Categorial Analysis of Logic","author":"R. Goldblatt","year":"1979","unstructured":"Goldblatt, R.: Topoi, the Categorial Analysis of Logic. North-Holland Publ. Comp., Amsterdam 1979"},{"key":"9_CR10","volume-title":"Smalltalk 80: The Language and its Implementation","author":"A. Goldberg","year":"1983","unstructured":"Goldberg, A.;Robson, D.: Smalltalk 80: The Language and its Implementation. Addison-Wesley, Reading, Mass. 1983"},{"key":"9_CR11","unstructured":"Hoare,C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs 1985"},{"issue":"11","key":"9_CR12","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1145\/960112.28739","volume":"21","author":"S.N. Khoshafian","year":"1986","unstructured":"Khoshafian, S.N.;Copeland, G.P.: Object Identity. Proc. OOPSLA'86, ACM SIGPLAN Notices 21:11 (1986), 406\u2013416","journal-title":"ACM SIGPLAN Notices"},{"key":"9_CR13","unstructured":"Lochovski,F.(ed.): Special Issue on Object-Oriented Systems. IEEE Database Engineering 8:4 (1985)"},{"key":"9_CR14","unstructured":"Sernadas,A.;Fiadeiro,J.;Sernadas,C.;Ehrich,H.-D.: The Basic Building Block of Information Systems (to be published)"},{"volume-title":"Research Directions in Object-Oriented Programming","year":"1987","key":"9_CR15","unstructured":"Shriver, B.;Wegner, P.(eds.): Research Directions in Object-Oriented Programming. The MIT Press, Cambridge, Mass. 1987"},{"key":"9_CR16","first-page":"107","volume-title":"Object-Oriented Specification of Databases: An Algebraic Approach","author":"A. Sernadas","year":"1987","unstructured":"Sernadas, A.;Sernadas, C.;Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB, P.M. Stocker, W. Kent (eds.), Morgan-Kaufmann Publ. Inc., Los Altos 1987, 107\u2013116"},{"key":"9_CR17","unstructured":"Sernadas,A.;Sernadas,C.;Ehrich,H.-D.: Object-Oriented Language Features for Information Systems Specification (to be published)"},{"key":"9_CR18","unstructured":"Winter,J.-H.: Zur Semantik von Schl\u00fcsselsignaturen mit Generalisierung und mengenwertigen Funktionen. Diplomarbeit. TU Braunschweig 1987"}],"container-title":["Lecture Notes in Computer Science","Categorical Methods in Computer Science With Aspects from Topology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51722-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:05:25Z","timestamp":1619571925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51722-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517221","9783540467878"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-51722-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}