Silva, S.  2012.  Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs. : DI-FCT-UNL