"Theoretical Computer Science, 9 conf., ICTCS 2005" - читать интересную книгу автора (Mario Coppo, Elena Lodi, G. Michele Pinna)