Alias annotations for program understanding. - Jonathan Aldrich; Valentin Kostadinov; Craig Chambers (OOPSLA, 2002)