"Egon Redlich"@cs .