Frontiers of combining systems 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings / - Tinelli, C.; Sofraonie-Stokkermans, Viorica. (Springer,)