"Theoretical Aspects of Computing - ICTAC 2006, 3 conf" - читать интересную книгу автора (Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone)