Models of Computation - Bruni; Bruni, Roberto; Montanari, Ugo (Springer International Publishing, 2017)