SAS 2003Class-Level Modular Analysis for Object Oriented LanguagesFrancesco LogozzoDOI 10.1007/3-540-44898-5_3dblpBibTeXAbstract elided by the publisher.