"Programming Languages and Systems, 18 conf., ESOP 2009" - читать интересную книгу автора (Giuseppe Castagna)