Pointer-Induced Aliasing: A Problem Classification. - Landi, William; Ryder, Barbara G. (1991)