Jyh-Shiarn Yur, Barbara G. Ryder, William Landi: An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. ICSE 1999: 442-451