"Mathematical Methods in Computer Science, MMICS 2008" - читать интересную книгу автора (Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade)