A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) - Landi, William; Ryder, Barbara G. (1992)