"Jos\u00E9 Luis Garci"@cs .