@booklet {runs,
	title = {Working note on a type-checking algorithm for BST},
	year = {2012},
	note = {n/a},
	publisher = {CITI / DI-FCT-UNL},
	abstract = {n/a},
	author = {Lu{\'\i}s Caires and Jo{\~a}o Costa Seco}
}
