"Theoretical Computer Science, 8 conf., ICTCS 2003" - читать интересную книгу автора (Carlo Blundo, Cosimo Laneve)