Mathematical Foundations of Computer Science 2014 - Csuhaj-Varjú; Csuhaj-Varjú, Ersébet; Dietzfelbinger, Martin; Ésik, Zoltán (Springer Berlin Heidelberg, 2014)