Sean Zhang, Barbara G. Ryder, William Landi: Experiments with Combined Analysis for Pointer Aliasing. PASTE 1998: 11-18