1. H. Aït-Kaci, and R. Nasr “Logic and Inheritance”, ACM Journal of Logic Programming, pp 219–228, 1986
2. H. Aït-Kaci, “A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures”, Ph.D Thesis, University of Pensylvania, 1984.
3. Clément D., J. Despeyroux, T. Despeyroux, L. Hascoet, G. Kahn, “Natural Semantics on the Computer”, INRIA Research Report RR 416, INRIA-Sophia-Antipolis, June 1985.
4. Clément D., J. Despeyroux, T. Despeyroux, G. Kahn, “A Simple Applicative Language: Mini-ML”, Conference on Lisp and Functional Programming, 1986.
5. Clément D. “The Natural Dynamic Semantics of Standard ML”, to appear as Inria report.