Bjarne Steensgaard: Points-to Analysis by Type Inference of Programs with Structures and Unions. CC 1996: 136-150