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