Michael Eichberg Thorsten Schäfer Mira Mezini Using Annotations to Check Structural Properties of Classes. 237-252 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=237 2005 conf/fase/2005 FASE db/conf/fase/fase2005.html#EichbergSM05