@article {165,
	title = {Ambient contracts: verifying and enforcing ambient object compositions {\~A}{\textflorin}{\^A}~ la carte},
	journal = {Personal and Ubiquitous Computing},
	volume = {15},
	year = {2011},
	pages = {341-351},
	author = {Christophe Scholliers and Dries Harnie and {\~A}{\textflorin}{\^a}{\texteuro}{\textdegree}ric Tanter and Wolfgang De Meuter and Theo D{\textquoteright}Hondt}
}
