@mastersthesis {7724,
	title = {Preventing atomicity violations with contracts},
	year = {2013},
	type = {MSc Thesis},
	attachments = {https://sites.fct.unl.pt/sites/default/files/synergy-vm/files/2013-diogo_sousa.pdf},
	author = {Sousa, Diogo G.}
}
