John H. Reppy: Type-sensitive control-flow analysis. ML 2006: 74-83