Propeller Programming - Sridhar Anandakrishnan (Springer, 2018)