"Eugen Leo Lederer"@cs .