Rajeev Kumar Soham Sundar Chakraborty Precise static type analysis for object oriented programs. 17-26 2007 42 SIGPLAN Notices 2 http://doi.acm.org/10.1145/1241761.1241763 db/journals/sigplan/sigplan42.html#KumarC07