1. L.O. Andersen, Program analysis and specialization for the C programming language, PhD Thesis, DIKU University of Copenhagen (DIKU Report 94/19), May 1994.
2. ANSI, American National Standard for Information Systems—Programming Language—C, ANSI X3.159-189/FIPS PUB 160, December 1989.
3. M. Burke, P. Carini, J.D. Choi, M. Hind, Flow insensitive interprocedural alias analysis in the presence of pointers, August 1994.
4. The program summary graph and flow-sensitive interprocedural data flow analysis;Callahan;Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, Atlanta, GA, ACM SIGPLAN Notices,1988
5. Efficient flow sensitive interprocedural computation of pointer induced aliases and side-effects;Choi;ACM Symposium on Principles of Programming Languages,1993