Programs As Data Objects - Ganzinger, Harald (Lecture Notes in Computer Science Ser.)