@booklet {Silva,
	title = {Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs},
	year = {2012},
	note = {n/a},
	publisher = {DI-FCT-UNL},
	abstract = {n/a},
	author = {S{\'e}rgio Silva}
}
