"Walter"@cs .