"Semantics, Applications, and Implementation of Program Generation, 2 conf., SAIG 2001" - читать интересную книгу автора (Walid Taha)