"STACS 2007.. 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings" - читать интересную книгу автора (Wolfgang Thomas, Pascal Weil)