Adaptive backward-difference time-stepping procedure for finite element hardening elastoplasticity