1. Abramsky, S., and Hankin, C. Abstract Interpretation of Declarative Languages. Ellis Horwood Books in Computing Science. Halsted Press (John Wiley and Sons), 1987, ch. An introduction to abstract interpretation, pp. 9–31.
2. Ammarguellat, Z. An algorithm for control-flow normalization and its complexity. IEEE TOSE 18, 3 (March 1992), 237–251.
3. Banning, J. An efficient way to find the side effects of procedure calls and the aliases of variables. In 6th ACM Symposium on Principles of Programming Languages (1979).
4. Bodin, F. Preliminary report: Data structure analysis in c programs.
5. Chase, D. R., Wegman, M., and Zadeck, F. K. Analysis of pointers and structures. In ACM SIGPLAN '90 Conference on Programming Language Design and Implementation (1990), pp. 296–310.