"Theoretical Aspects of Computing - ICTAC 2007, 4 conf" - читать интересную книгу автора (Cliff B. Jones, Zhiming Liu, Jones Woodcock)