(untitled) - Bach,T.; Krüger,C.; Harms,K. (Synthesis, 2000)