[Abrial74]

Abrial J. R. editor - "Databases Management" - North-Holland, 1974

[McLarty92]

McLarty C. - "Elementary Categories, Elementary Toposes" - Oxford University Press, 1992

[America89]

America P. - "A behavioural approach to subtyping in object-oriented languages with inheritance and subtyping" - Philips Research Journal 1989 44(2-3) pag. 161-168

[Arnold96]

Arnold K., Gosling J. - "The Java Programming Language" - Addison-Wesley, 1996.

[Barker95]

Barker R.- "Case Method; Entity Relationship Modelling" - Addison Wesley, 1995

[Barker95a]

Barker R., Longman C. - "Case Method; Function and Process Modelling" - Addison Wesley, 1995

[Booch94]

Booch G. - "Object-Oriented Analysis and Design with Applications, second edition" - Benjamin Cummings 1994

[Bracha90]

Bracha G, Coock W. - "Mixin-based inheritance" - Proceedings of The ACM Conference on Object-Oriented Programming Systems, Languages and Applications and ECOOP 1990, pag. 303-311.

[Breu92]

Breu R. - "Algebraic specifications in object-oriented programming environments" - Springer Verlag, 1992

[Cardelli85]

Cardelli L., Wegner P. - " On understanding types, data abstraction and Polymorphism" - Computing Surveys 1985 17(4), pag. 471-522.

[Cardelli91]

Cardelli L., Mitchel J.C. - "Operations on Records" - Mathematical Structures in Computer Science" 1991 1(1) pag. 3-48.

[Cardelli96]

Luca Cardelli, Martin Abadi - "A theory of objects" - Springer-Verlag 1996

[Chiorean94]

Andre P., Chiorean D., Royer J. C. - "The Formal Class Model" - Joint Modular Languages Conference, Ulm - Germany, 1994, pag 74-91.

[Chiorean94a]

Andre P., Chiorean D., Cîrstea C. Royer J. C - "Object-Oriented Design with Formal Classes" - International Conference on Technical Informatics, Timišoara - 1994, pag. 349-360

[Chiorean94b]

Andre P., Chiorean D., Cîrstea C. Royer J. C - "The Formal Class Model an Example of Object-Oriented Design" - STUDIA UNIV. "Babeš-Bolyai", MATHEMATICA, XXXIX 3, 1994

[Chiorean94c]

Chiorean D. - Object-Oriented - Concepte de bazã ši implementãri în limbaje de programare, OPEN, Tehnologia informaøiei ISSN 1222-5762, pag. 44-54

[Chiorean94d]

Chiorean D., Bozga D., FRENØIU A., Scuturici V., Suciu D., Vasilescu D. - "RO-CASE, Case Tool for Object-Oriented Analysis and Design" - University of Cluj-Napoca, Faculty of Mathematics and Computer Science, Preprint no. 5/1994, pag. 29-36

[Chiorean94e]

Chiorean D., Bozga D., FRENØIU A., Scuturici V., Suciu D., Vasilescu D. - "Object-Oriented Analysis and Design The Transition among models" - University of Cluj-Napoca, Faculty of Mathematics and Computer Science, Preprint no. 5/1994, pag. 34-44

[Chiorean95]

Chiorean D., Cîrstea C. Royer J. C - "Type Checking Formal Classes, Principles and Algorithms" - Rapport de Rechercehe 99, IRIN, oct. 1995

[Chiorean95a]

Chiorean D. - "Filosofia obiectelor - O nouã paradigmã de programare" - PC-REPORT martie 1995, pag. 51-53

[Chiorean95b]

Chiorean D., Lazar M. - "Baze de date orientate-obiect. De la semanticã ši avantajele folosirii conceptelor orientate-obiect, la unele aspecte de proiectare conceptualã" - PC-REPORT august 1995, pag 18-21

[Chiorean95c]

Chiorean D. - "Ce este Smalltalk ?" - PC-REPORT noiembrie 1995, pag 62-64

[Chiorean95d]

Chiorean D., Cîrstea C. - "Limbajul Smalltalk - obiecte, mesaje, clase, metode, variabile" - PC-REPORT - 39, decembrie 1995 pag. 69-74

[Chiorean95e]

Chiorean D., Bozga D. Cîrstea C., Ober I. - "A compiler for algebraic specification" - studia univ. "babeš-Bolyai, mathematica, 1(1996), pag. 59-70

[Chiorean96]

Chiorean D., Cîrstea C. - "Limbajul Smalltalk - Secvenøe de expresii ši blocuri" - PC-REPORT - 40, ianuarie 1996 pag. 59-61

[Chiorean96a]

Chiorean D - "Descrierea arhitecturii claselor" - PC-REPORT - 42, martie 1996 pag. 60-63

[Chiorean96b]

Chiorean D - "Familii de clase" - PC-REPORT - 43, aprilie 1996 pag. 62-64

[Chiorean96c]

Chiorean D., Ober I. - "Professional Eiffel for Windows 95/NT" - PC-REPORT - 44, mai 1996 pag. 69-71

[Chiorean96d]

Chiorean D. - "Clasele Collection" - PC-REPORT - 44, mai 1996 pag. 86-89

[Chiorean96e]

Chiorean D., Cîrstea C. - "Clasele grafice" - PC-REPORT - 45, iunie 1996 pag. 63-66

[Chiorean96f]

Chiorean D - "Instrumente CASE pentru analizã ši proiectare orientatã-obiect" - PC-REPORT - 46, iulie 1996 pag. 24-27

[Chiorean96g]

Chiorean D - "Metode de analizã ši proiectare orientatã-obiect" - PC-REPORT - 46, iulie 1996 pag. 28-31

[Chiorean96h]

Chiorean D - "Depanarea în Smalltalk" - PC-REPORT - 49, octombrie 1996 pag. 69-69

[Chiorean97]

Chiorean D - "Realizarea aplicaøiilor cu interfeøe grafice utilizator în Smalltalk Express" - PC_Report 53 (febr. 1997), pag. 45-47

[Chiorean97a]

Chiorean D., Ober I., Scuturici M., Suciu D. - "Present and Perspectives in the Object-Oriented Analysis and Design Methods; ROCASE Experience" - Proceedings of the 3-rd International Symposium of Economic Informatics, Bucharest - May 1997, pag. 23-28

[Chiorean97b]

Chiorean D. - "Limbaje orientate-obiect" - PC-REPORT 59 (aug. 1997), pag. 25-26

[Chiorean98]

Chiorean D. - "Metodele OOAD la ora unificãrii" - PC-REPORT 65 (febr. 1998), pag. 20-21

[Chiorean98a]

Chiorean D. - "Limbajul unificat de modelare UML" - PC-REPORT 65 (febr. 1998), pag. 22-27

[Chiorean98b]

Chiorean D. - "Metode euristice de analizã ši proiectare CRC" - PC-REPORT 72 (sept. 1998), pag. 34-37

[Coad91]

Coad P., Yourdon E. - "Object-Oriented Analysis, second edition" - Prentice Hall 1991

[Coad91a]

Coad P., Yourdon E. - "Object-Oriented Design," - Prentice Hall 1991

[Cook94]

Cook S., Daniels J. - "Designing Object Systems; Object-Oriented Modelling with Syntropy" - Prentice Hall, 1994

[Coplien92]

Coplien J. O. - "Advanced C++ Programming Styles and Idioms" - Addison Wesley, 1992

[Coplien95]

Coplien J., Schmidt D. C. - "Pattern Languages of Programming Design" - Addison Wesley, 1995

[Coplien98]

Coplien J. - "More on the Geometry of C++ Objects", C++ Report 11(1), pag.53-57

[Cox94]

Cox B. J., Novobilski A. J. - "Object-Oriented Programming: An Evolutionary Approach, 2nd edition" - Addison-Wesley, 1994

[D’Souza97]

D’Souza, Wills D. - "Catalysis: Practical Rigor and Refinement" - http://www.icon-comp.com/papers; Prentice Hall, 1997

[D’Souza98]

D’Souza D. Wils A. -"Catalysis: Component and Framework-Based Development" - http://www.iconcomp.com/catalysis, Addison Wesley, 1998

[Delobel92]

Delobel C., Lecluse C., Richard P. - "Databases: From Relational to Object-Oriented Systems" - International Thompson Publishing, 1992

[Digitalk86]

Digitalk Inc. - "Smalltalk/V; Tutorial and Programming Handbook" - Digitalk Inc., 1986

[Digitalk89]

Digitalk Inc. - "Smalltalk/VMac; Tutorial and Programming Handbook" - Digitalk Inc., 1989

[Digitalk91]

Digitalk Inc. - "Smalltalk/VMac; Goodies, Tools and Applications" - Digitalk Inc., 1991

[Fejs92]

Fejs L. M., Jonkers H. B., - "Formal Specification and Design" - Cambridge University Press, 1992

[Firensmith98]

Firensmith D., Henderson-Sellers B. - "Upgrading OML to Version 1.1 part. 2" - ‘JOOP 11(5), pag. 61-67

[Fucs92]

Fucs N. E. - "Specifications Are (Preferably) Executable" - Software Engineering Journal, September 1992

[Gamma95]

Gamma E., Helm R., Johnson R, Wlissides J. - "Design Patterns; Elements of Reusable Object-Oriented Design" - Addison Wesley, 1995

[Ghelli89]

Ghelli G., Orsini R - "Types and Subtypes as Partial Equivalence Relations" - Proceedings of The ACM Conference on Object-Oriented Programming Systems, Languages and Applications and ECOOP 1929, pag. 129-140.

[Goguen87]

Goguen J., Meseguer J. - "Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics" - Research Directions in Object-Oriented Programming, MIT Press 1987

[Goldberg83]

Goldberg A., Robson D. - "Smalltalk-80; The language and its implementation" - Addison-Wesley, 1983

[Goldberg84]

Goldberg A., Robson D. - "Smalltalk-80; The interactive programming environment" - Addison-Wesley, 1984

[Goldberg95]

Goldberg A., Rubin K. S. -"Succeeding with Objects: Decision Frameworks for Project Management" - Addison-Wesley, 1995.

[Gosling96]

Gosling J., Joy B. and Steel G., - "The Java Language Specification" - Addison-Wesley, 1996.

[Gosling96a]

Gosling J., Yellin F. and the Java Team - "The Java Application Programming Interface", vol.1 (Core Packages) and vol. 2 "Window Toolkit and Applets", Addison-Wesley, 1996

[Graham97]

Graham J., Bischof J., Henderson-Sellers B. - "Associations considered a bad thing" - JOOP 9(9), pag. 41-48, 1997

[Harel87]

Harel D. - "Statecharts: a visual foormalism for Complex systems" - Science of Computer Programming 8, pag. 231-274, 1987

[Harel96]

Harel D. - "The STATEMATE Semantics of Statecharts" - ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 4, pag. 293-333, 1996

[Harel96a]

Harel D., Gcry E. - "Executable Object Modeling with Statecharts" - Proceedings of ICSEE 1996, pag. 246-257

[Henderson97]

Henderson-Sellers B., Firensmith D.G., Graham I. M. - "OML metamodel: Relationships and state modeling" - JOOP 10(1), pag. 47-51, 1997

[Henderson97a]

Henderson-Sellers B. - "OPEN Relationships: Compositions and Containments" - JOOP 10(7), pag. 51-55, 1997

[Hoare72]

Hoare C.A.R. - "Proof of Correctness of Data Representations" - Acta Informatica, vol. 1 1972, pag. 271-281.

[Hoare89]

Hoare C.A.R., Jones C. B. (ed.) - "Essays in Computing Science" - Prentice Hall 1989

[Jacobson92]

Ivar Jacobson, Magnus Christerson, etc. - "Object-Oriented Software Construction - A Use Case Driven Approach" - Addison Wesley 1992

[Jacobson94]

Jacobson I. - "Object Technology; Basic Use-Case Modelling" - ROAD, July-August 1994, Vol, 1, No. 2, pag.

[Jacobson94a]

Jacobson I. - "Object Technology; Basic Use-Case Modelling" - ROAD, September-October 1994, Vol, 1, No. 3, pag.17

[Jacobson94b]

Jacobson I. - "Use-Cases and Objects" - ROAD, November-December 1994, Vol, 1, No. 4, pag.23

[Jacobson95]

Jacobson I, Ericsson M., Jacobson A. - "The Object Advantage; Business Process reengineering with Object Technology" - Adison Wesley, 1995

[Jacobson95a]

Jacobson I. - "More than Object Orientation: Use-Cases in Large Scale Systems" - ROAD, March-April 1995, Vol, 1, No. 6, pag.

[Jacobson95b]

Jacobson I. - "More than Object Orientation: Systems and Interconected Systems" - ROAD, May-June 1995, Vol, 1, No. 4, pag.

[Kristen94]

Kristen G. - "Object Orientation; The KISS Method, from Information Architecture to Information System" - Addison Wesley, 1994

[LaLonde90]

LaLonde W., Pugh J. - "Inside Smalltalk, Vol. 1" - Prentice Hall, 1990

[LaLonde91]

LaLonde W., Pugh J. - "Inside Smalltalk, Vol. 2" - Prentice Hall, 1991

[LaLonde93]

LaLonde W., Pugh J. - "Smalltalk V, Practice and experience" - Prentice Hall, 1993

[LaLonde94]

LaLonde W. - "Discovering Smalltalk" - Benjamin Cummings, 1994

[Lano94]

Lano K., Haughton H. - "Object-Oriented Specification Case Studies" - Prentice Hall International, 1994

[Lejacq96]

Lejacq J. P. - "A comparison of Object-Oriented Languages" - Object-Magasine 6(4), 1996

[Liskov88]

Liskov B., Guttag J. - "Abstraction and Specification in Programming Development" - MIT Press 1986

[MacQueen86]

MacQueen D., Plotkin G. Sethi R. - "An ideal model for recursive polymorphic types" - Information and Control 1986 71(1-2) pag. 95-130

[Madsen90]

Madsen O. L., Magnuson B. - "Strong Typing of Object-Oriented Languages Revisited" - Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications and ECOOP 1990, pag. 141-160.

[Martin92]

Martin J., Odell J. - "Object-Oriented Analysis and Design" - Prentice Hall, 1992

[Martin95]

Martin J., Odell J. - "Object-Oriented Methods - A Foundation" - Prentice Hall, 1995

[Massini90]

Massini G., Napoli A., Colnet D., Léonard D., Tombre K. - "Les langages à objects" -InterEditions Paris, 1990

[Meyer91]

Bertrand Meyer - " Introduction to the Theory of Programming Languages" - Prentice Hall, 1990. Second printing, 1991.

[Meyer92]

Bertrand Meyer - "Eiffel: The Language" - Prentice Hall 1992

[Meyer94]

Bertrand Meyer - "Reusable Software: The Base Object-Oriented Component Libraries" - Prentice Hall 1994

[Meyer97]

Bertrand Meyer - "Object-Oriented Software Construction - second edition" - Prentice Hall 1997

[Mitchel90]

Mitchel J. C. - "Toward a typed foundation for method specialization and inheritance" - Proceedings of The 17-th Annual ACM Symposium on principles of Programming Languages - 1990 pag. 109-124.

[Nelson95]

Nelson G. (ed) - "Systems Programming with Modula 3" - Prentice Hall 1995

[Paepke93]

Paepke A. - "Object-Oriented Programming: The CLOS Perspective" MIT Press 1993

[Pinson93]

Pinson L.J., Wiener R. - "An introduction to object-oriented programming and Smalltalk" - Addison Wesley, 1993

[Rappanotti92]

Rappanotti L., Socorro A. - "Introducing FOOPS, Technical Report" -Oxford University, Research Computing Laboratory, 1992

[Rational97]

Rational Software, IBM, Microsoft, Hewlett-Packard, Oracle, etc. - "UML Proposal to the Object Management Group ver. 1.1" - sept. 1997

[Rational97a]

Rational Software, IBM, Microsoft, Hewlett-Packard, Oracle, etc. - "UML Semantics ver. 1.1" - sept. 1997

[Rational97b]

Rational Software, IBM, Microsoft, Hewlett-Packard, Oracle, etc. - "UML Notation Guide ver. 1.1" - sept. 1997

[Rational97c]

Rational Software, IBM, Microsoft, Hewlett-Packard, Oracle, etc. - "UML Extension for Objectory Process for Software Engineering ver. 1.1" - sept. 1997

[Rational97d]

Rational Software, IBM, Microsoft, Hewlett-Packard, Oracle, etc. - "UML Extension for Business Modeling ver. 1.1" - sept. 1997

[Rational97e]

Rational Software, IBM, Microsoft, Hewlett-Packard, Oracle, etc. - "Object Constraint Language Specification ver. 1.1" - sept. 1997

[Rational97f]

Rational Software, IBM, Microsoft, Hewlett-Packard, Oracle, etc. - "OA&D CORBAfacility Interface Definition ver. 1.1" - sept. 1997

[Rumbaugh91]

Rumbaugh J., Blaha M., Premerlani W., etc. - "Object-Oriented Modeling and Design" - Prentice Hall, 1991

[Rumbaugh96]

Rumbaugh J. - "Models for Designs: Generating code for associations" - JOOP 8(9), pag. 13-17, 1996

[Rumbaugh96a]

Rumbaugh J. - "A search for values: Attributes and associations" - JOOP 9(3), pag. 6-8 - 1997

[Shafer91]

Shafer D., Ritz D. - "Practical Smalltalk: Using Smalltalk/V", Springer-Verlag, 1991

[Shlaer92]

Shlaer S., Mellor S. - "Object Lifecycles: Modeling the World in States" - Prentice Hall, 1992

[Stroustroup94]

Stroustroup B. - "The Design and Evolution of C++" - Addison-Wesley, 1994

[Stroustrup91]

Stroustrup B. - "The C++ Programming Language, second edition" - Addison Wesley 1991

[Taylor96]

Taylor D. - "Back to Babylon" - Object-Magasine 6(4), 1996

[Turlier93]

Turlier Ph. - "La compilation des types abstraits algebriques du langage LOTOS" -These de doctorat, Conservatoire National des Arts et Metiers, Grenoble, 1993

[Wilkinson95]

Wilkinson N. - "Using CRC Cards; An Informal Approach to Object-Oriented Development" - SIGS Books, 1995

[Wirfs-Brock90]

Wirfs-Brock B., Wilkerson B. Wiener L. - "Designing Object-Oriented Software" - Prentice Hall, 1990

[Wirth82]

Wirth N. - "Programming in Modula-2" - Springer-Verlag, 1982.

[Walden95]

Walden K., Nerson J.-M. - "Seamless Object-Oriented Software Architecture; Analysis and Design of Reliable Systems" - Prentice Hall 1995