1. A. Aho, R. Sethi, and J. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley, Reading, MA (1986).
2. B. Baker, “An Algorithm for Structuring Flow Graphs,” J. ACM
24(1) pp. 98–120 New York, NY, (January 1977).
3. T. Ball and S. Horwitz, “Slicing programs with arbitrary control flow,” Technical Report #1128, University of Wisconsin, Madison (December 1992).
4. J. D. Choi and J. Ferrante, “What is in a slice,” Unpublished draft, IBM T.J. Watson Research Center (December 1992).
5. J. Ferrante, K. Ottenstein, and J. Warren, “The program dependence graph and its use in optimization,” ACM Transactions on Programming Languages and Systems
9(5) pp. 319–349 (My 1987).