@booklet { Seco.Caires-17tr-00,
	title = {A Basic Model of Typed Components (extended version)},
	number = {UNL-DI-1-2000},
	year = {2000},
	note = {URL={http://ctp.di.fct.unl.pt/~jcs/bibIndex/papers/tech-report.ps.gz}},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {J. C. Seco and L. Caires}
}
