M. Abadi and L. Cardelli, A Theory of Primitive Objects, Proceedings of Theoretical Aspect of Computer Software, pp.296-320, 1994.

J. M. Andreoli and R. Pareschi, Linear objects: Logical processes with built-in inheritance, New Generation Computing, vol.1, issue.3-4, pp.445-473, 1991.
DOI : 10.1007/BF03037173

L. Cardelli and J. C. Mitchell, Operations on records, Mathematical Structures in Computer Science, vol.1, issue.01, pp.3-48, 1991.
DOI : 10.1016/0022-0000(78)90014-4

G. Delzanno and M. Martelli, Objects in Forum, Proceedins of the International Logic Programming Symposium, pp.115-129, 1995.

K. Fisher, F. Honsell, and J. C. Mitchell, A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994.

J. Hodas and D. Miller, Logic Programming in a Fragment of Intuitionistic Linear Logic. Information and Computation, pp.110327-365, 1994.

N. Kobayashi and A. Yonezawa, Type-Theoretic Foundations for Concurrent Object-Oriented Programming, Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '94), 1994.

D. Miller, A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification, Journal of Logic and Computation, vol.1, issue.4, pp.497-536, 1991.
DOI : 10.1093/logcom/1.4.497

D. Ungar and R. B. Smith, Self: the Power of Simplicity, Proceedings of ACM Symp. on Object-Oriented Programming Systems, Languages, and Applications, pp.227-241, 1987.