(untitled) - Held,I.; Villinger,A.; Zipse,H. (Synthesis, 2005)