Developments of the arbitrary Lagrangian-Eulerian method in non-linear solid mechanics by H.C. Stoker