1. T. Report;B. Alpern,1987
2. Ait-Kaci H.: 1984 A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures, Ph.D. Thesis; Philadelphia: University of Pennsylvania
3. Burstall R.M., MacQueen D.B., Sannella D.T.: HOPE — An Experimental Applicative Language, Technical Report CSR-62-80; Edinburgh University
4. Cunningham R.J., Dick A.J.J.: 1985 Rewrite Systems on a Lattice of Types, in Acta Informatica 22, Berlin: Springer Verlag, 149–169
5. LNCS;B. Courcelle,1988