The Secret Life of Keys: On the Calculation of Mechanical Lock Systems. - Christof Vömel; Flavio de Lorenzi; Samuel Beer; Erwin Fuchs (SIAM Rev., 2017)