1. Adachi, Takanori, (1984). Unification in categories. In Several Aspects of Unification, (Toshiaki Kurokawa, ed.) ICOT, Technical Report TM-0029, 35–43.
2. “An algebraic semantics approach to the effective resolution of type equations,”;Aït-Kaci;Theoretical Computer Science,1986
3. “Structures algébriques dans les catégories,”;Benabou;Cahiers de Topologie et Géometrie Différentielle,1968
4. Burstall, Rod, MacQueen, David, and Sannella, Donald, (1980). “Hope: an experimental applicative language,” In Proceedings, First LISP Conference, 136–143, Stanford University, Stanford, California.
5. “Prolog and infinite trees,”;Colmerauer,1982