Type-based protocol conformance and aliasing control in concurrent java programs - Silva, Sérgio António Inácio da (2012)