Models of Computation. 1st ed. 2017 - Bruni, Roberto (Springer International Publishing, 2020)