@conference {Free,
	title = {A simple proof system for lock-free concurrency},
	booktitle = {International Workshop on Proof Systems for Program Logics (PSPL)},
	year = {2010},
	note = {n/a},
	abstract = {n/a},
	author = {Lu{\'\i}s Caires and Carla Ferreira and Ant{\'o}nio Ravara}
}
