Machines, Computations, and Universality - Durand-Lose; Sergey Verlan; Verlan, Sergey (Springer International Publishing, 2018)