William Landi Barbara G. Ryder Pointer-Induced Aliasing: A Problem Classification. 93-103 1991 POPL db/conf/popl/popl91.html#LandiR91