1. A.Aho, J.Ullman. The theory of parsing, translation and compilation. Vol.1-Prentice-Hall Inc., Englewood Cliffs, NJ, 1972.
2. B.Alpern, M.N.Wegman, F.K.Zadeck. Detecting equality of variables in programs.-Proc. of the 15
th Annual ACM Symposium Principles of Programming Languages, San Diego, USA, 1988. CA. ACM Press, New York, USA, pages 1–11, 1988.
3. F.Bourdoncle. Efficient chaotic iteration strategies with widenings.-Proc. of the International Conference Formal Methods in Programming and Their Applications, Novosibirsk, Russia, 1993. LNCS 735, Springer-Verlag, Berlin, Germany, pages 129–141, 1993.
4. M.Bruynooghe, G.Janssens. On abstracting the procedural behaviour of logic program.-Proc. of the First and Second Russian Conferences on Logic Programming, Irkutsk (1990) and St.Petersburg (1991), Russia. LNAI 592, Springer-Verlag, Berlin, Germany, pages 240–262, 1992.
5. A.Cortesi,B.Le Charlier,P.Van Hentenryck. Type analysis of Prolog using type graphs.-Journal of Logic Programming, 16(2), pages 179–209, 1995.