"Armindo Fonseca"@cs .