 <a name="pfeiffer_thesis"> Pfeiffer, P.,</a> Dependence-based representations for programs with reference variables. Ph.D. dissertation and Tech. Rep. TR-1037, Computer Sciences Department, University of Wisconsin, Madison, WI, August 1991. (Click <A HREF="http://www.cs.wisc.edu/Dienst/UI/2.0/Describe/ncstrl.uwmadison%2fCS-TR-91-1037">here</A> to access paper.) <p>
