Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings - Tinelli, Cesare; Sofronie-Stokkermans, Viorica (Springer Berlin Heidelberg : Imprint: Springer, 2011)