"Adolfo Ruiz Cortines"@cs .