Computational Methods in Contact Mechanics (Computational Mechanics Publ, 1993)