@mastersthesis {7732,
	title = {Maintaining the Correctness of Transactional Memory Programs},
	year = {2013},
	type = {PhD thesis},
	attachments = {https://sites.fct.unl.pt/sites/default/files/synergy-vm/files/2013-ricardo_dias.pdf},
	author = {Ricardo J. Dias}
}
