@mastersthesis {7725,
	title = {Distributed replicated macro-components},
	year = {2013},
	type = {MSc thesis},
	attachments = {https://sites.fct.unl.pt/sites/default/files/synergy-vm/files/2013-helder_martins.pdf},
	author = {Helder Martins}
}
