Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings - Dixon, Clare; Finger, Marcelo (Springer International Publishing : Imprint: Springer, 2017)