Attribute Grammar Inversion and Source-to-source Translation (Lecture Notes in Computer Science (302), Band 302)