Machines, Computations, and Universality - Durand-Lose; Nagy, Benedek (Springer International Publishing, 2015)