1. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms. MIT Press and McGraw-Hill Book Company (2001)
2. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the ACM Symposium on Principles of Programming Languages, January 1977, pp. 238–252 (1977)
3. Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Logic and Comput. 2(4), 511–547 (1992)
4. Cousot, P., Cousot, R.: Formal language, grammar and set-constraint-based program analysis by abstract interpretation. In: Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, La Jolla, California, June 1995, pp. 170–181. ACM Press, New York (1995)
5. Deutsch, A.: Interprocedural alias analysis for pointers: Beyond k-limiting. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 230–241. ACM Press, New York (1994)