Models of Computation - Bruni, Roberto. (Texts in Theoretical Computer Science. An EATCS Series, 2017)