Seco, João Costa Languages and Types for Component-Based Programming. Universidade Nova de Lisboa., 2006.