"Programming Languages and Systems, 15 conf., ESOP 2006" - читать интересную книгу автора (Peter Sestoft)