"Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Volume 34)" - читать интересную книгу автора (Flemming Nielson, Hanne Riis Nielson)