LATIN 2014: Theoretical Informatics - Alberto Pardo, Alfredo Viola; Kittler, Josef; Viola, Alfredo (Springer Berlin Heidelberg, 2014)