Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings - Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt ((Lecture Notes in Computer Science))