“Contact formulations and numerical methods in Abaqus/Standard,” Section 37.1
“Contact formulations and numerical methods in Abaqus/Explicit,” Section 37.2