. . "Micali" . "S." . "S. Micali" . .