Mathematical Foundations of Computer Science 2013 - Chatterjee, Krishnendu; Sgall, Jiri; Sgall, Jirí (Springer Berlin Heidelberg, 2013)