Herbert G. Mayer, Michael Wolfe: InterProcedural Alias Analiysis: Implementation and Empirical Results. Softw. Pract. Exp. 23(11): 1201-1233 (1993)