"Theoretical Aspects of Computing - ICTAC 2005, 2 conf" - читать интересную книгу автора (Dang Van Hung, Martin Wirsing)