"Programming Languages and Systems, 7 conf., ESOP '98" - читать интересную книгу автора (Chris Hankin)