@conference{DLD+05,
	author = {Waltenegus Dargie and Tino Loeffler and Olaf Droegehorn and Klaus David},
	title = {Composition of Reusable Higher-Level Contexts},
	year = {2005}
}