"Programming Languages and Systems, 16 conf., ESOP 2007" - читать интересную книгу автора (Rocco De Nicola)