Mathematical and Engineering Methods in Computer Science - Jan Kofroň, Tomáš Vojnar; Vojnar, Tomás (Springer International Publishing, 2016)