Abstractions for recursive pointer data structures: Improving the analysis and the transformation of imperative programs (1992)

by L Hendren, J Hummel, A Nicolau
Venue:In SIGPLAN Conf. on Prog. Lang. Design and Impl