"Walter Pollux"@cs .