1. The Design and Analysis of Computer Algorithms;Aho,1974
2. A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures;Aït-Kaci,1984
3. An Algebraic Semantics Approach to the Effective Resolution of Type Equations;Aït-Kaci;Theoretical Computer Science,1986
4. An Introduction to LIFE—Programming with Logic, Inheritance, Functions, and Equations;Aït-Kaci,1993
5. LOGIN: A Logic Programming Language with Built-In Inheritance;Aït-Kaci;J. Logic Programming,1986