@booklet {tr:2011:contracts,
	title = {Preventing Atomicity Violations with Contracts},
	number = {UNL-2014},
	year = {2014},
	note = {<p>n/a</p>
},
	publisher = {Faculdade de Ci{\^e}ncias e Tecnologia, Universidade Nova de Lisboa},
	abstract = {<p>n/a</p>
},
	attachments = {https://sites.fct.unl.pt/sites/default/files/synergy-vm/files/2014-sousa_0.pdf},
	author = {Sousa, Diogo and Jo{\~a}o M. Louren{\c c}o and Carla Ferreira and Ricardo J. Dias}
}
