Suad Alagic Svetlana Kouznetsova Behavioral Compatibility of Self-Typed Theories. 585-608 2002 conf/ecoop/2002 ECOOP http://link.springer.de/link/service/series/0558/bibs/2374/23740585.htm db/conf/ecoop/ecoop2002.html#AlagicK02