Computational contact and impact mechanics : fundamentals of modeling interfacial phenomena in nonlinear finite element analysis - Laursen, Tod A. (Springer, 2002)