@article {172,
	title = {Computational contracts},
	journal = {Science of Computer Programming},
	year = {2013},
	pages = {-},
	keywords = {Theory},
	issn = {0167-6423},
	doi = {http://dx.doi.org/10.1016/j.scico.2013.09.005},
	url = {http://www.sciencedirect.com/science/article/pii/S0167642313002347},
	author = {Christophe Scholliers and {\~A}{\textflorin}{\^a}{\texteuro}{\textdegree}ric Tanter and Wolfgang De Meuter}
}
