H. Abelson, G. J. Sussman, and J. Sussman, Structure and Interpretation of Computer Programs, 1985.

A. Gul, Actors : A Model of Concurrent Computation in Distributed System. serie : Artificial Intelligence, 1986.

C. Bailly, Les Langages Orientés Objets : Concepts, Langages et Applications

J. P. Battini, P. Brejon, and D. J. , Elaboration d'un logiciel de diagnostic thermique des bâtiments tertiaires, Convention tripartie FRME/ITHEF/ARMINES, 1986.

. Bernard, Les ratios et leur utilisation en pré-diagnostic In Séminaire International : Audit Energétique dans les Bâtiments Existants, AFME, pp.205-214, 1988.

A. H. Borning, Classes versus prototypes in object-oriented languages, Proc. of ACM/IEEE Fall Joint Computer Conference, pp.36-40

J. A. Bouchet, Approche du diagnostic thermique par système expert, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.357-364, 1988.

B. Bouchon and S. Desprès, Propagation of uncertainties and inaccuracies in knowledge-based system, In Lecturer Note in Computer Science, vol.286, 1987.
DOI : 10.1007/3-540-18579-8_4

B. Bourges, Calcul des degrés-jours mensuels à température de base variable, revue CVC, p.5

. P. Brejon, Le projet LEB : un serveur télématique sur les logiciels à l'usage des professionnels du génie climatique In Séminaire spécialisé : Outils d'aide à la conception et gestion (OACG '89) AFME, 1989.

P. Brejon, Les Logiciels d'Energétique des Bâtiments. Développement, Evaluation Technique, Illustrations, 1988.

P. Brejon, R. Lalement, X. H. Le, R. A. Projet, and M. , TH (rapport intermédiaire ) Rapport de recherche, Convention avec le programme IN.PRO.BAT. du Plan Construction et Architecture contrat n° 88 61 409, 1989.

P. Brejon and D. Marchio, Incertitudes liées aux données et méthodes d'audit énergétique des bâtiments, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.367-380, 1988.

J. P. Briot, Programming with explicit metaclasses in Smalltalk-80, Proc. of OOPSLA '89, pp.419-432
DOI : 10.1145/74878.74921

J. P. Briot and A. Yonezawa, Inheritence and synchronization in concurrent OOP, European Conference on object oriented programming, pp.35-43, 1987.

L. Cardelli, A semantics of multiple inheritance. Information and Computation, pp.138-164, 1988.

L. Cardelli and G. Longo, A semantic basis for Quest, Proc. of 1990 ACM Conference on Lisp and Functional Programming, pp.30-43, 1990.

. Centre-d-'energétique, Outils d'audit énergétique de bâtiment, 1989.

E. Charniak, C. Riesbeck, D. V. Mcdermott, and M. J. , Artificial Intelligence Programming. Lawrence Erlbaum Associats New-Jersey, second edition, pp.313637383940-41, 1987.

W. Cünger, Semantics of Scheme, BYTE, pp.220-227, 1988.

P. Cointe, Metaclasses are first class : the ObjVlisp model, OOPSLA '87, pp.156-167, 1987.

C. Pierre, Implementation et Interprétation des Langages Orientés Objets : Application aux Langages Smalltalk, ObjVlisp et Forme, Thèse de Doctorat d'Etat, 1984.

W. Cook and J. Palsberg, A denotational semantics of inheritance and its correctness, Proc. of OOPSLA '89, pp.433-443
DOI : 10.1145/74878.74922

F. Croquelois, Anagram : une méthode pour aider à la maîstrise des consommations d'énergie, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.183-203, 1988.

A. Cstb, Isolation Thermique de l'Habitat Existant

R. Cyssau, Le diagnostic instrumenté. L'évaluation de l'état initial : un exemple d'utilisation de la méthodologie, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.225-246, 1988.

J. Delahaye, Outils Logiques pour ITA, 1987.

L. G. Demichiel and R. P. Gabriel, The Common Lisp Object System : An overview, Proc. of ECOOP '87, pp.201-220

J. P. Dubernet, Sensibilité des résultats d'un diagnostic thermique à l'incertitude sur les données, ARMINE/COSTIC, 1988.

D. Dubois and H. Prade, Théories des Possibilités : Application à la Représentation des Connaissances en Informatique, série : Technique Avancée en Informatique, 1985.

R. Ducournau and M. Habib, La multiplicité de l'héritage dans les langages à objets, Technique et Science Informatique, vol.8, issue.1, pp.41-62, 1989.

D. Kent, The Scheme Programming Language, 1987.

. Edf, Degrés-jours à base de température quelconque période hivernale, année entière

H. Farreny, Sytèmes Experts : Principe et Exemples, Cépadues Editions Toulouse, 1985.

H. Farreny and M. Ghallab, Eléments d'Intelligence Artificielle. Collection Traité de Nouvelles Techniques serie I.A. Hermès Paris, 1987.

C. Fontanel, Un outil neuf sur le diagnostic thermique dans le résidentiel et le tertiaire Revue Chauffage Ventillation Conditionnement, pp.5-10, 1983.

R. Gilles, . Brasselet, . Jean-pierre, and A. Rio, Diagnostic énergétique détaillé et instrumenté assisté par ordinateur (DEDIAO) In Séminaire International : Audit Energétique dans les Bâtiments Existants, AFME, pp.381-390, 1988.

A. Goldberg and D. Robson, Smalltalk-80, The Language, 1989.

G. Hamilton and A. Harrison, Expert systems for the construction and building services industry, 1986.

J. Harris, A comparaison of multifamily retrofits in the U.S. and Europe : mesured results and policy implications, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.135-146, 1988.

C. Haynes, Logic continuation. The Journal of Logic Programming, pp.157-176, 1986.

H. Christopher, T. , F. Daniel, P. Wand, and M. , Obtaining coroutines with continuations, Computer Language, vol.114, issue.N°3, pp.143-153, 1987.

C. Hewitt, Viewing control structures as patterns of passing messages, Artificial Intelligence, vol.8, issue.3, pp.323-363, 1977.
DOI : 10.1016/0004-3702(77)90033-9

. Hieb, K. Robert, and R. Dybvig, Continuations and concurrency, Second ACM SIGPLAN Symposium on Principle and Pratice of Parallel Programming (PPOPP), pp.128-136, 1990.

S. Kamin, Inheritance in smalltalk-80: a denotational definition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.80-87
DOI : 10.1145/73560.73567

A. Kaufmann, Introduction à la Théorie des Sous-ensembles Flous, 1973.

H. E. Kyburg, Representing knowldge and evidence for decision, In Lectures Note in Computer Science, vol.286, 1987.

J. L. Lauriere and . Ia, Résolution de Problèmes par l'Homme et la Machine, 1987.

H. Lieberman, Thinking about lots of things at once without getting confused ? Parallelism on ACT1. AI memo 626, 1981.

H. Lieberman, Delegation and inheritance : Two mechanisms for sharing knowledge in object-oriented systems, Troisièmes journées LOO, pp.78-89, 1986.

H. Lieberman, Using prototypical objects to implement shared behavior in object oriented systems, Proc. of OOPSLA '86, pp.214-223, 1986.

P. Magrez and P. Smets, Fuzzy modus ponens : A new model suitable for application in knowledge based systems, International Journal of Intelligent Systems, vol.4, 1989.

R. Martin-clouaire, Efficient deduction in fuzzy logic, In Lectures Note in Computer Science, vol.286, 1987.
DOI : 10.1007/3-540-18579-8_11

G. Masini, Les Langages à Objets, Langages de classes, langages de frames, langages d'acteurs, serie : Informatique Intelligence Artificielle, InterEditions, 1989.

B. Meyer, Lessons from the design of the Eiffel libraries, Communications of the ACM, vol.33, issue.9, pp.68-88, 1990.
DOI : 10.1145/83880.84464

R. Milner, Communication and Concurrency. Computer Science, 1989.

. Ministère-de-l-'urbanisme and . Du-logement, Guide pour l'amélioration des logements existants, 1982.

M. Minsky, Society of mind, Artificial Intelligence, vol.48, issue.3, 1988.
DOI : 10.1016/0004-3702(91)90036-J

M. Montalban, Prise en compte de specifications en ingénierie. Application aux systèmes experts de conception, Thèse Université de Nice, 1987.

A. Norman and J. Rees, Object oriented programming in Scheme, 1988 ACM Conference on Lisp and Functional Programming, pp.277-288, 1988.

P. Oléron, Intelligence de l'Homme, 1989.

J. Piaget, La Psychologie de l'Intelligence, 1967.

H. Prade, A synthetic view of approximate reasoning techniques, 1983.

F. Rechenmann, P. Vignard, and . Crika, Quand les règles rencontrent les schémas, 1985.

A. Rialhe, Le Traitement des Données Partielles en Audit Energétique de Bâtiments, Thèse de l'Ecole des Mines de, 1991.

C. Rivemale, Sémantique Dénotationnelle du Langage Plasma : Définition et Im- plementation

S. Gao, Projet de recherche sur le couplage de Keops avec outils d'évaluation thermique et acoustique. Rapport final, Convention AFME-Plan Construction et Architecture, 1987.

S. Glenn, A Mathematical Theory of Evidence, 1976.

E. H. Shortliffe and B. G. Buchanan, A model of inexact reasoning in medicine, Mathematical Biosciences, vol.23, issue.3-4, pp.351-379, 1975.
DOI : 10.1016/0025-5564(75)90047-4

G. Springer and D. P. Friedman, Scheme and the Art of Programming, 1989.

J. Steels and G. L. , Common Lisp the Language, 1990.

L. Stein and . Andrea, Delegation is inheritance, Proc. of OOPSLA, pp.138-146, 1987.

B. Stroustrup, The C+ + Programming Language, 1988.

B. Stroustrup, What is "object-oriented programming, European Conference on object oriented programming, pp.51-70, 1987.

V. S. Subrahamian, On the semantics of quantitative logic programs, 1987.

D. G. Theriault, Issues in the design and implementation of ACT2, M.I.T. Artificial Intelligence Laboratory, 1983.

A. Tlili, Structure des Données de la Conception d'un Bâtiment pour une Utilisation Informatique, 1986.

R. Turner, Logique pour l'Intelligence Artificielle, 1986.

D. Ungar, . Smith, and B. Randall, Self : The power of simplicity, Proc. of OOPSLA 87, pp.227-242, 1987.

M. H. Van-emden, Quantitative deduction and its fixpoint theory, The Journal of Logic Programming, vol.3, issue.1, pp.37-53, 1986.
DOI : 10.1016/0743-1066(86)90003-8

F. J. Várela, Connaître les Sciences Cognitives, tendance et perspectives, 1989.

P. H. Winston, Artificial Intelligence, 1984.

A. Yonezawa, ABCL, an Object-Oriented Concurrent System Computer Systems Series, 1990.

K. Zreik, Prise en Compte de Performance Acoustique en Phase d'APS de Bâtiment dans un Contexte de CAO, 1986.