1. Non-Well-Founded Sets;Aczel,1988
2. Adger, D. Sign Based Morphology: Applications to Noun Incorporation. Master's thesis, University of Edinburgh, Centre for Cognitive Science, 1990.
3. Aït-Kaci, H. A Lattice Theoretic Approach to Computation Based on a Calculus of Partially Ordered Type Structures. PhD thesis, University of Pennsylvania, 1984.
4. An algebraic semantics approach to the effective resolution of type equations;Aït-Kaci;Theoretical Computer Science,1986
5. Aït-Kaci, H. and R. Nasr. Logic and inheritance. In Proceedings of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, pages 219–228. 1986.