“Contact formulations and numerical methods in Abaqus/Standard,” Section 36.1
“Contact formulations and numerical methods in Abaqus/Explicit,” Section 36.2