N. Pfaffinger: "Smute: A Programming Language for Processing Recursively Structured Data"; Supervisor: H. Tompits; Institut fuer Informationssysteme, 2004.