Ramalingam, et al.. Deriving Specialized Program Analyses for Certifying Component-client Conformance. ACM Press, 2002, doi:10.1145/512529.512540.