Semantics, Applications And Implementation Of Program Generation by Walid Taha