@booklet {bsttr,
	title = {The Type Discipline of Behavioral Separation (Long version with proofs)},
	year = {2012},
	note = {n/a},
	publisher = {CITI / DI-FCT-UNL},
	abstract = {n/a},
	author = {Lu{\'\i}s Caires and Jo{\~a}o Costa Seco}
}
