@mastersthesis {7726,
	title = {Lightweight monitoring of transactional memory programs},
	year = {2013},
	type = {MSc thesis},
	attachments = {https://sites.fct.unl.pt/sites/default/files/synergy-vm/files/2013-joao_martins.pdf},
	author = {Jo{\~a}o Martins}
}
