@booklet {startm,
	title = {StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs},
	year = {2010},
	note = {n/a},
	publisher = {CITI / DI-FCT-UNL},
	abstract = {n/a},
	author = {Ricardo J. Dias and Dino Distefano and Jo{\~a}o Costa Seco and Jo{\~a}o Louren{\c c}o}
}
