Seco, J. C., and L. Caires A Basic Model of Typed Components (extended version). Departamento de Informática FCT/UNL, 2000.