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