Theoretical computer science : introduction to automata, compurability, complexity, algorithmics, randomization, communication, and cryptography - Hromkovic, Juraj, 1958- (Texts in theoretical computer science. An EATCS series., 2004)