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