@conference {426,
	title = {A Rewriting Approach to the Combination of Data Structures with Bridging Theories},
	booktitle = {Frontiers of Combining Systems ({FroCoS})},
	year = {2015},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-319-24246-0_17},
	author = {Paula Chocron and Pascal Fontaine and Christophe Ringeissen},
	editor = {Carsten Lutz and Silvio Ranise}
}