G. Ramalingam Alex Varshavsky John Field Deepak Goyal Shmuel Sagiv Deriving Specialized Program Analyses for Certifying Component-Client Conformance. 83-94 2002 PLDI http://doi.acm.org/10.1145/512529.512540 db/conf/pldi/pldi2002.html#RamalingamWFGS02