The content of this section and the following subsections follows closely the treatment of Gaetano Fichera in (Fichera 1963), (Fichera 1964b) and also (Fichera 1995): his derivation of the problem is different from Signorini's one in that he does not consider only incompressible bodies and a plane rest surface, as Signorini does.