Routines of Substitution - Mark Priestley (Springer, 2018)