Laurie J. Hendren, Guang R. Gao. Designing programming languages for analyzability: a fresh look at pointer data structures. In James R. Cordy, Mario Barbacci, editors, ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. pages 242-251, IEEE, 1992. [doi]