"Foundations of Software Technology and Theoretical Computer Science, 20 conf., FST TCS 2000" - читать интересную книгу автора (Sanjiv Kapoor, Sanjiva Prasad)