Trends in Functional Programming - William J. Bowman, Ronald Garcia (Springer, 2020)