Introduction to Computation - Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler (Springer, 2021)