"Programming Languages and Systems, 14 conf.,ESOP 2005" - читать интересную книгу автора (Mooly Sagiv)