Type System for the ComponentJ Programming Language - Piriquito, Maria Margarida Lameira da Cunha (2009)