@ARTICLE {
	AUTHOR = "Christophe Scholliers and {\'E}ric Tanter and Wolfgang De Meuter",
	TITLE ="Computational Contracts",
	JOURNAL = "Science of Computer Programming (SCICO)",
	VOLUME = "98",
	NUMBER = "3",
	PAGES = "360-375",
	MONTH = "Feb",
	YEAR = "2015",
	PUBLISHER = "Elsevier Science",
	ADDRESS = "Amsterdam, The Netherlands",
	ISSN = "0167-6423"
	}