Dependency Analysis of Recursive Data Structures Using Automatic Groups.

D. K. Arvind T. A. Lewis Dependency Analysis of Recursive Data Structures Using Automatic Groups. 353-366 http://dx.doi.org/10.1007/3-540-48319-5_23 1998 conf/lcpc/1998 LCPC db/conf/lcpc/lcpc1998.html#ArvindL98