"Programming Languages and Systems, 9 conf., ESOP 2000" - читать интересную книгу автора (Gert Smolka)