João Costa Seco Luís Caires A Basic Model of Typed Components. 108-128 2000 conf/ecoop/2000 ECOOP http://link.springer.de/link/service/series/0558/bibs/1850/18500108.htm db/conf/ecoop/ecoop2000.html#SecoC00