“Contact formulations and numerical methods in Abaqus/Standard,” Section 34.1
“Contact formulations and numerical methods in Abaqus/Explicit,” Section 34.2