@booklet {Parreira,
	title = {Implementa{\c c}{\~a}o de um algoritmo de tipifica{\c c}{\~a}o para linguagem concorrente com tipos comportamentais},
	year = {2011},
	note = {n/a},
	publisher = {DI-FCT-UNL},
	abstract = {n/a},
	author = {Nuno Parreira}
}
