This paper deals with the formulation of the necessary optimality condition for a topology optimization problem of an elastic body in unilateral contact with a rigid foundation. In the contact problem of Tresca, a given friction is governed by an elliptic variational inequality of the second order. The optimization problem consists in finding such topology of the domain occupied by the body that the normal contact stress along the contact boundary of the body is minimized. The topological derivative...