Static Analysis of Recursive Data Structures. - D. K. Arvind 001; T. A. Lewis (LCPC, 1997)

Dependency Analysis of Recursive Data Structures Using Automatic Groups. - D. K. Arvind 001; T. A. Lewis (LCPC, 1998)

Safe Approximation of Data Dependencies in Pointer-Based Structures. - D. K. Arvind 001; T. A. Lewis (LCPC, 2000)