@booklet {DLS2010,
	title = {Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach},
	number = {UNL-DI-5-2011},
	year = {2010},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {Ricardo J. Dias and Jo{\~a}o M. Louren{\c c}o and Jo{\~a}o Costa Seco}
}
