"Heinz Becker"@cs .