{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:59Z","timestamp":1725663779126},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525592"},{"type":"electronic","value":"9783540470359"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52559-9_67","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:38:12Z","timestamp":1330205892000},"page":"239-266","source":"Crossref","is-referenced-by-count":12,"title":["Algebraic implementation of objects over objects"],"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"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"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":"America, P.; Rutten, J.: A Parallel Object-Oriented Language: Design and Semantic Foundations. Dissertation, Vrije Universiteit Amsterdam 1989"},{"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"},{"volume-title":"Advances in Object-Oriented Database Systems","year":"1988","key":"9_CR4","unstructured":"Dittrich, K.(ed.): Advances in Object-Oriented Database Systems. LNCS 334. Springer-Verlag, Berlin 1988"},{"key":"9_CR5","unstructured":"Dahl, O.-J.;Myhrhaug, B.;Nygaard, K.: SIMULA 67, Common Base Language, Norweigan Computing Center, Oslo 1967"},{"key":"9_CR6","first-page":"271","volume-title":"On Realization and Implementation. Proc. MFCS'81","author":"H.-D. Ehrich","year":"1981","unstructured":"Ehrich, H.-D.: On Realization and Implementation. Proc. MFCS'81 (J. Gruska, M. Chytil, eds.), LNCS 118, Springer-Verlag, Berlin 1981, 271\u2013280"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Ehrich,H.-D.;Sernadas,A.;Sernadas,C.: Abstract Object Types for Databases. In Di88, 144\u2013149","DOI":"10.1007\/3-540-50345-5_10"},{"key":"9_CR8","unstructured":"Ehrich,H.-D.;Scrnadas,A.;Sernadas,C.: Objects, Object Types and Object Identity. Categorical Methods in Computer Science with Aspects from Topology (H. Ehrig et al (eds.), LNCS 393, Springer-Verlag (in print)"},{"key":"9_CR9","unstructured":"Ehrich,H.-D.;Sernadas,A.;Sernadas,C.: From Data Types to Object Types. Journal of Information Processing and Cybernetics EIK (to appear 1990)"},{"key":"9_CR10","unstructured":"Fiadeiro,J.;Sernadas,A.: Logics of Modal Terms for Systems Specification. INESC, Lisbon 1989 (submitted for publication)"},{"key":"9_CR11","unstructured":"Goguen,J.A.;Meseguer,J.: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In SW87, 417\u2013477"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1080\/03081077408960783","volume":"1","author":"J.A. Goguen","year":"1975","unstructured":"Goguen, J.A.: Objects. Int. J. General Systems 1 (1975), 237\u2013243","journal-title":"Objects. Int. J. General Systems"},{"key":"9_CR13","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_CR14","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_CR15","unstructured":"Hewitt,C.;Baker,H.: Laws for Communicating Parallel Processes. Proc. 1977 IFIP Congress, IFIP (1977), 987\u2013992"},{"issue":"3","key":"9_CR16","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"Hewitt, C.: Viewing Control Structures as Patterns of Passing Messanges. Journal of Artificial Intelligence 8:3 (1977), 323\u2013364","journal-title":"Journal of Artificial Intelligence"},{"key":"9_CR17","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. The MIT Press, Cambridge, Mass. 1988"},{"key":"9_CR18","unstructured":"Lipeck,U.: Ein algebraischer Kalk\u00fcl f\u00fcr einen strukturierten Entwurf von Datenabstraktionen. Dissertation, Universit\u00e4t Dortmund 1982"},{"key":"9_CR19","unstructured":"Lochovski,F.(ed.): Special Issue on Object-Oriented Systems. IEEE Database Engineering 8:4 (1985)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: A Technique for Software Module Specification with Examples. Communications of the ACM 15 (1972),330\u2013336","journal-title":"Communications of the ACM"},{"key":"9_CR21","unstructured":"Sernadas,A.;Ehrich,H.-D.;Costa,J.-F.: From Processes to Objects (to appear)"},{"volume-title":"Research Directions in Object-Oriented Programming","year":"1987","key":"9_CR22","unstructured":"Shriver, B.;Wegner, P.(eds.): Research Directions in Object-Oriented Programming. The MIT Press, Cambridge, Mass. 1987"},{"key":"9_CR23","first-page":"107","volume-title":"Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB","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"}],"container-title":["Lecture Notes in Computer Science","Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52559-9_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:47Z","timestamp":1619572127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52559-9_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525592","9783540470359"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-52559-9_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}