{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:06Z","timestamp":1725663486206},"publisher-location":"Berlin, Heidelberg","reference-count":72,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563792"},{"type":"electronic","value":"9783540475453"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56379-2_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:06:39Z","timestamp":1330254399000},"page":"40-65","source":"Crossref","is-referenced-by-count":3,"title":["Objects and their specification"],"prefix":"10.1007","author":[{"given":"Hans-Dieter","family":"Ehrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amilcar","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_CR1","first-page":"81","volume-title":"LNCS 280","author":"A Astesiano","year":"1987","unstructured":"Astesiano,A.;Reggio,G.: An outline of the SMoLCS approach. Proc. Advanced School on Mathematical Models for Parallelism (M.Venturini Zilli, ed.), LNCS 280, Springer-Verlag, Berlin 1987, 81\u2013113"},{"key":"2_CR2","series-title":"LNCS 249","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-17660-8_55","volume-title":"Proc. TAPSOFT'87 Vol.1","author":"A. Astesiano","year":"1987","unstructured":"Astesiano,A.; Reggio,G.: SMoLCS-driven concurrent calculi. Proc. TAPSOFT'87 Vol.1, (H. Ehrig et al, eds.), LNCS 249, Springer-Verlag, Berlin 1987, 169\u2013201"},{"key":"2_CR3","first-page":"91","volume":"394","author":"E. Astesiano","year":"1989","unstructured":"Astesiano,E.; Giovini,A.; Reggio,G.; Zucca,E.: An integrated algebraic approach to the specification of data types, processes, and objects. Proc. Algebraic Methods \u2014 Tools and Applications, LNCS 394, 1989, 91\u2013116","journal-title":"LNCS"},{"key":"2_CR4","unstructured":"Beeri,C: Theoretical Foundations for OODB's \u2014 a Personal Perspective. Database Engineering, to appear"},{"key":"2_CR5","first-page":"89","volume-title":"CWI Monographs Series","author":"J.A. Bergstra","year":"1986","unstructured":"Bergstra,J.A.; Klop,J.W.: Algebra of communicating processes. CWI Monographs Series, Proc. of the CWI Symposium Mathmatics and Computer Science, North-Holland, Amsterdam 1986, 89\u2013138"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/125223.125254","volume":"34","author":"P. Butterworth","year":"1991","unstructured":"Butterworth,P.; Otis,A.; Stein,J.: The GemStone Object Database Management System. Comm. ACM 34 (1991), 64\u201377","journal-title":"Comm. ACM"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Breu,R.: Algebraic specification techniques in object-oriented programming environments. Ph.D. Thesis, Passau University; also: LNCS, Springer 1991.","DOI":"10.1007\/3-540-54972-2"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy,M.; Wirsing,M.: Partial abstract types. Acta Informatica 18, 1982, 47\u201364","journal-title":"Acta Informatica"},{"key":"2_CR9","first-page":"131","volume":"405","author":"R. Breu","year":"1989","unstructured":"Breu,R.; Zucca,E.: An algebraic compositional semantics of an object-oriented notation with concurrency. Proc 9th Conf. on Foundations of Software Technology and Theoretical Computer Science, LNCS 405, 1989, 131\u2013142","journal-title":"LNCS"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Cook,W.; Palsberg,J.: A Denotational Semantics of Inheritance and its Correctness. Proc. OOPSLA'89, ACM Press, 433\u2013443","DOI":"10.1145\/74877.74922"},{"key":"2_CR11","unstructured":"Costa,J.-F.; Sernadas,A.: Process Models within a Categorial Framework. INESC Research Report, Lisbon 1991, submitted for publication"},{"key":"2_CR12","unstructured":"Costa,J.-F.; Sernadas,A.; Sernadas,C: OBL-89 User's Manual \u2014 Version 2.3. Internal Report, INESC Lisbon 1989."},{"key":"2_CR13","first-page":"25","volume-title":"Informatik-Berichte 91-03","author":"J.-F. Costa","year":"1991","unstructured":"Costa,J.-F.; Sernadas,A.; Sernadas,C.: Objects as Non-Sequential Machines. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop'91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Tech. Univ. Braunschweig 1991, 25\u201360"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01898400","volume":"3","author":"E. Cusack","year":"1991","unstructured":"Cusack,E.: Refinement, Conformance and Inheritance. Formal Aspects of Computing 3 (1991), 129\u2013141","journal-title":"Formal Aspects of Computing"},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/125223.125238","volume":"34","author":"O. Deux","year":"1991","unstructured":"Deux,O. et al: The O2 System. Comm. ACM 34 (1991), 35\u201348","journal-title":"Comm. ACM"},{"key":"2_CR16","volume-title":"SIMULA 67, Common Base Language","author":"O.-J. Dahl","year":"1967","unstructured":"Dahl,O.-J.;Myrhaug,B.;Nygaard,K.: SIMULA 67, Common Base Language. Norwegian Computer Center, Oslo 1967"},{"key":"2_CR17","volume-title":"Technical Report No. 91\/05","author":"H. Ehrig","year":"1991","unstructured":"Ehrig,H.;Baldamus,M.;Orejas,F.: New concepts for amalgamation and extension in the framework of specification logics. Technical Report No. 91\/05, Computer Science Department, TU Berlin 1991."},{"key":"2_CR18","first-page":"203","volume-title":"LNCS 489","author":"H.-D. Ehrich","year":"1991","unstructured":"Ehrich,H.-D.;Goguen,J.A.;Sernadas,A.: A Categorial Theory of Objects as Observed Processes. Proc. REX\/FOOL School\/Workshop, de Bakker,J.W. et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991, 203\u2013228"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0304-3975(90)90049-N","volume":"71","author":"H. Ehrig","year":"1990","unstructured":"[EPPB+90] Ehrig,H.; Parisi-Presicce,F.; Boehm,P.; Rieckhoff,C.; Dimitrovici,Ch.; Gro\u00dfeRhode,M.: Combining data type specifications and recursive process specifications using projection algebras. Theoretical Computer Science 71 1990, 347\u2013380","journal-title":"Theoretical Computer Science"},{"key":"2_CR20","first-page":"33","volume":"26","author":"H.-D. Ehrich","year":"1990","unstructured":"Ehrich,H.-D.;Sernadas,A.;Sernadas,C: From Data Types to Object Types. Journal of Information Processing and Cybernetics EIK 26 (1990) 1\/2, 33\u201348","journal-title":"EIK"},{"key":"2_CR21","first-page":"239","volume-title":"LNCS 430","author":"H.-D. Ehrich","year":"1990","unstructured":"Ehrich,H.-D.;Sernadas,A.: Algebraic Implementation of Objects over Objects. Proc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness. de Bakker J.W.;de Roever,W.-P.; Rozenberg,G. (eds.), LNCS 430, Springer-Verlag, Berlin 1990, 239\u2013266"},{"key":"2_CR22","first-page":"1","volume-title":"Informatik-Berichte 91-03","author":"H.-D. Ehrich","year":"1991","unstructured":"Ehrich,H.-D.;Sernadas,A.: Fundamental Object Concepts and Constructions. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop'91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Tech. Univ. Braunschweig 1991, 1\u201324"},{"key":"2_CR23","volume-title":"(Terminal) Process Semantics of Temporal Logic Specification","author":"J. Fiadeiro","year":"1991","unstructured":"Fiadeiro,J.;Costa,J.-F.;Sernadas,A.;Maibaum,T.: (Terminal) Process Semantics of Temporal Logic Specification. Unpublished draft, Dept. of Computing, Imperial College, London 1991"},{"key":"2_CR24","unstructured":"Fishman,D. et al: IRIS: An Object-Oriented Database Management System. ACM Trans. Off. Inf. Sys. 5 (1987)"},{"key":"2_CR25","volume-title":"LNCS 489","author":"J. Fiadeiro","year":"1991","unstructured":"Fiadeiro,J.;Maibaum,T.: Describing, Structuring and Implementing Objects. Proc. REX\/FOOL School\/Workshop, de Bakker,J.W. et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991"},{"key":"2_CR26","unstructured":"Fiadeiro,J.;Maibaum,T.: Temporal Theories as Modularisation Units for Concurrent System Specification, to appear in Formal Aspects of Computing"},{"key":"2_CR27","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/logcom\/1.3.357","volume":"1","author":"J. Fiadeiro","year":"1991","unstructured":"Fiadeiro,J.;Sernadas,A.: Logics of Modal Terms for System Specification. Journal of Logic and Computation 1 (1991), 357\u2013395","journal-title":"Journal of Logic and Computation"},{"key":"2_CR28","volume-title":"Proc. IFIP 2.6 Working Conference DS-4","author":"J. Fiadeiro","year":"1991","unstructured":"Fiadeiro,J.;Sernadas,C.;Maibaum,T.;Saake,G.: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. Proc. IFIP 2.6 Working Conference DS-4, Meersman,R.;Kent,W. (eds.), North-Holland, Amsterdam 1991"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Gottlob,G.;Kappel,G.;Schrefl,M.: Semantics of Object-Oriented Data Models \u2014 The Evolving Algebra Approach. Proc. Int. Workshop on Information Systems for the 90's, Schmidt,J.W. (ed.), Springer LNCS 1991","DOI":"10.1007\/3-540-54141-1_9"},{"key":"2_CR30","unstructured":"Goguen,J.A.;Meseguer,J.: Unifying functional, object-oriented and relational programming with logical semantics. Research Direction in Object-Oriented Programming, B.Shriver,P.Wegner (eds.), MIT Press 1987, 417\u2013477"},{"key":"2_CR31","unstructured":"Goguen,J.: Categorical Foundations for General Systems Theory. Advances in Cybernetics and Systems Research, Transcripta Books, 1973, 121\u2013130"},{"key":"2_CR32","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1080\/03081077408960783","volume":"1","author":"J. Goguen","year":"1975","unstructured":"Goguen,J.: Objects. International Journal of General Systems, 1 (1975), 237\u2013243","journal-title":"International Journal of General Systems"},{"key":"2_CR33","unstructured":"Goguen,J.: A Categorical Manifesto. Technical Report PRG-72, Programming Research Group, Oxford University, March 1989. To appear in Mathematical Structures in Computer Science."},{"key":"2_CR34","unstructured":"Goguen, J.: Sheaf Semantics of Concurrent Interacting Objects, 1990. To appear in Mathematical Structures in Computer Science."},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Goguen,J.: Types as Theories. Proc. Conf. on Topology and Category Theory in Computer Science, Oxford University Press 1991, 357\u2013390","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"key":"2_CR36","unstructured":"Goguen,J.: personal communication"},{"key":"2_CR37","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, New York 1983"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Gro\u00dfe-Rhode,M.: Towards object-oriented algebraic specifications. Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen (Dosse), H. Ehrig, K.P. Jantke, F. Orejas, H. Reichel (Eds.), LNCS 534, 1991","DOI":"10.1007\/3-540-54496-8_6"},{"key":"2_CR39","unstructured":"Goguen,J.A.;Winkler,T.: Introducing OBJ3. SRI International, Technical Report SRI-CSL-88-9, 1988."},{"key":"2_CR40","volume-title":"Proc. IFIP 2.6 Working Conference DS-4","author":"J. Goguen","year":"1991","unstructured":"Goguen,J.;Wolfram,D.: On Types and FOOPS. Proc. IFIP 2.6 Working Conference DS-4, Meersman,R.;Kent,W. (eds.), North-Holland, Amsterdam 1991"},{"key":"2_CR41","volume-title":"Technical Memo, HP Labs","author":"F. Hayes","year":"1989","unstructured":"Hayes,F.;Coleman,D.: Objects and Inheritance: An Algebraic View. Technical Memo, HP Labs, Information Management Lab, Bristol 1989"},{"key":"2_CR42","unstructured":"Heitz,M.: HOOD: A Hierarchical Object-Oriented Design Method. Proc. 3rd German Ada Users Congress, Munich 1988, 12-1-12-9"},{"key":"2_CR43","unstructured":"Jungclaus,R.;Hartniann,T.;Saake,G.;Sernadas,C.: Introduction to TROLL \u2014 A Language for Object-Oriented Specification of Information Systems. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop'91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Tech. Univ. Braunschweig 1991, 97\u2013128"},{"key":"2_CR44","first-page":"309","volume-title":"Proc. 10th Int. Conf. on the ER-approach","author":"R. Jungclaus","year":"1991","unstructured":"Jungclaus,R.; Saake,G.; Hartmann,T.:Language Features for Object-Oriented Conceptual Modeling. In: Proc. 10th Int. Conf. on the ER-approach (T.J. Teorey,ed.), San Mateo, E\/R Institute 1991, 309\u2013324."},{"key":"2_CR45","volume-title":"Object-Oriented Specification of Information Systems: The TROLL Language","author":"R. Jungclaus","year":"1991","unstructured":"Jungclaus,R.;Saake,G.;Hartmann,T.;Sernadas,C.: Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht, TU Braunschweig 1991. To appear"},{"key":"2_CR46","volume-title":"Proc. IFIP 2.6 Working Conference DS-4","author":"R. Jungclaus","year":"1991","unstructured":"Jungclaus,R.;Saake,G.;Sernadas,C: Using Active Objects for Query Processing. Proc. IFIP 2.6 Working Conference DS-4, Meersman,R.;Kent,W. (eds.), NorthHolland, Amsterdam 1991"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Jungclaus,R.;Saake,G.;Sernadas,C: Formal Specification of Object Systems. Proc. TAPSOFT'91, Abramsky,S.;Maibaum,T.S.E. (eds.), Brighton (UK) 1991","DOI":"10.1007\/3540539816_61"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Kaplan,S.: Algebraic specification of concurrent systems. Theoretical Computer Science, 1989.","DOI":"10.1016\/0304-3975(89)90090-X"},{"key":"2_CR49","unstructured":"Kerth,N,: MOOD: A Methodology for Structured Object-Oriented Design. Tutorial presented at OOPSLA'88, San Diego 1988"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Kim,W. et al: Features of the ORION Object-Oriented DBMS. In ObjectOriented Concepts, Databases, and Applications, Kim,W. and Lochovsky,E.H. (eds.), Addison-Wesley 1988","DOI":"10.1145\/63320"},{"key":"2_CR51","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1109\/69.60796","volume":"2","author":"W. Kim","year":"1990","unstructured":"Kim,W.: Object-Oriented Databases: Definition and Research Directions. IEEE Transactions on Knowledge and Data Engineering 2 (1990), 327\u2013341","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"2_CR52","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01888231","volume":"2","author":"H. Lin","year":"1990","unstructured":"Lin,H.;Pong,M.: Modelling Multiple Inheritance with Colimits. Formal Aspects of Computing 2 (1990), 301\u2013311","journal-title":"Formal Aspects of Computing"},{"key":"2_CR53","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer,B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs 1988"},{"key":"2_CR54","volume-title":"Technical Report SRI-CSL-91-05","author":"J. Meseguer","year":"1991","unstructured":"Meseguer,J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Technical Report SRI-CSL-91-05, Computer Science Laboratory, SRI International, Menlo Park 1991"},{"key":"2_CR55","first-page":"86","volume":"45","author":"F. Parisi-Presicce","year":"1991","unstructured":"Parisi-Presicce,F.;Pierantonio,A.: Towards the algebraic specification of classes in object-oriented programming. Bulletin of the EATCS, Vol. 45,1991, 86\u201397","journal-title":"Bulletin of the EATCS"},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"Reggio,G.: Entities: Institutions for dynamic systems. Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen (Dosse), H. Ehrig, K.P. Jantke, F. Orejas, H. Reichel (Eds.), LNCS 534, 1991","DOI":"10.1007\/3-540-54496-8_13"},{"key":"2_CR57","volume-title":"Proc. IFIP 2.6 Working Conference DS-4","author":"A. Sernadas","year":"1991","unstructured":"Sernadas,A.;Ehrich,H.-D.: What is an object, after all? Proc. IFIP 2.6 Working Conference DS-4, Meersman,R.;Kent,W. (eds.), North-Holland, Amsterdam 1991"},{"key":"2_CR58","first-page":"7","volume":"1","author":"A. Sernadas","year":"1990","unstructured":"Sernadas,A.;Ehrich,H.-D.;Costa,J.-F.: From Processes to Objects. The INESC Journal of Research and Development 1 (1990), 7\u201327","journal-title":"The INESC Journal of Research and Development"},{"key":"2_CR59","volume-title":"Proc. Int. Workshop on Specification of Database Systems","author":"C Sernadas","year":"1991","unstructured":"Sernadas,C; Gouveia,P.; Gouveia,J.; Sernadas,A.; Resende,P.: The Reification Dimension in Object-oriented Database Design. Proc. Int. Workshop on Specification of Database Systems, Glasgow 1991, Springer-Verlag, to appear"},{"key":"2_CR60","first-page":"225","volume-title":"Proc. IFIP 8.1 Working Conference","author":"A. Sernadas","year":"1989","unstructured":"Sernadas,A.;Fiadeiro,J.;Sernadas,C.;Ehrich,H.-D.: The Basic Building Blocks of Information Systems. Proc. IFIP 8.1 Working Conference, Falkenberg,E.; Lindgreen,P. (eds.), North-Holland, Amsterdam 1989, 225\u2013246"},{"key":"2_CR61","unstructured":"Sernadas,C.;Gouveia,P.;Costa,J.-F.;Sernadas,A.: Graph-theoretic Semantics of Oblog \u2014 Diagrammatic Language for Object-oriented Specifications. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop'91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Tech. Univ. Braunschweig 1991, 61\u201396"},{"key":"2_CR62","volume-title":"Specification of Database Applications in the TROLL Language","author":"G. Saake","year":"1991","unstructured":"Saake,G.;Jungclaus,R.: Specification of Database Applications in the TROLL Language. Proc. Int. Workshop on Specification of Database Systems, Glasgow 1991, Springer-Verlag, to appear"},{"key":"2_CR63","volume-title":"Object-Oriented Specification and Stepwise Refinement","author":"G. Saake","year":"1991","unstructured":"Saake,G.;Jungclaus,R.;Ehrich,H.-D.: Object-Oriented Specification and Stepwise Refinement. Proc. IFIP TC6 Int'l Workshop on Open Distributed Processing, Berlin 1991, to be published by North-Holland"},{"key":"2_CR64","volume-title":"In-the-large Objectoriented Design of Information Systems","author":"C Sernadas","year":"1991","unstructured":"Sernadas,C; Resende,P.; Gouveia,P.; Sernadas,A.: In-the-large Objectoriented Design of Information Systems. Proc IFIP 8.1 Working Conference on the Object-oriented Approach in Information Systems, van Assche,F.; Moulin,B.; Rolland,C. (eds.), Quebec City (Canada) 1991, North Holland, to appear"},{"key":"2_CR65","volume-title":"Document No. SEL-86-002","author":"E. Seidewitz","year":"1986","unstructured":"Seidewitz,E.;Stark,M.: General Object-Oriented Software Development. Document No. SEL-86-002, NASA Goddard Space Flight Center, Greenbelt, Maryland 1986"},{"key":"2_CR66","first-page":"107","volume-title":"Proc. 13th VLDB","author":"A. Sernadas","year":"1987","unstructured":"Sernadas,A.;Sernadas,C.;Ehrioh,H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB, Stocker,P.M.; Kent,W. (eds.), Morgan-Kaufmann Publ. Inc., Los Altos 1987, 107\u2013116"},{"key":"2_CR67","unstructured":"Sernadas,A.;Sernadas,C.;Gouveia,P.;Resende,P.;Gouveia,J.: Oblog \u2014 An Informal Introduction, INESC Lisbon, 1991."},{"key":"2_CR68","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1986","unstructured":"Stroustrup,B.: The C++ Programming Language. Addison Wesley, Reading, Mass. 1986"},{"key":"2_CR69","unstructured":"Tarlecki,A.; Burstall,R.; Goguen,J.: Indexed Categories as a Tool for the Semantics of Computation. Technical Monograph PRG-77, August 1989, Oxford University Computing Laboratory."},{"key":"2_CR70","unstructured":"Verharen,E.M.: Object-oriented System Development: An Overview. Information Systems \u2014 Correctness and Reusability, Proc. ISCORE Workshop'91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Tech. Univ. Braunschweig 1991, 202\u2013234"},{"key":"2_CR71","first-page":"245","volume":"14","author":"P. Wegner","year":"1989","unstructured":"Wegner,P.: Learning the Language. Byte 14 (1989)F, 245\u2013253","journal-title":"Byte"},{"key":"2_CR72","doi-asserted-by":"crossref","unstructured":"Wieringa,R.: A formalization of objects using equational dynamic logic. Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases, Munich 1991","DOI":"10.1007\/3-540-55015-1_23"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56379-2_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T14:49:09Z","timestamp":1713624549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56379-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563792","9783540475453"],"references-count":72,"URL":"https:\/\/doi.org\/10.1007\/3-540-56379-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}