Frontiers of Combining Systems - Lutz; Ranise, Silvio (Springer International Publishing, 2015)