@ARTICLE {
	AUTHOR = "Oscar Callau and {\'E}ric Tanter",
	TITLE ="Programming with Ghosts",
	JOURNAL = "IEEE Software",
	VOLUME = "30",
	NUMBER = "1",
	PAGES = "74-80",
	MONTH = "Jan",
	YEAR = "2013",
	PUBLISHER = "IEEE Press",
	ADDRESS = "Piscataway, NJ, USA",
	ISSN = "0740-7459"
	}