Let$1 (Bs Calculate Bachs - Alan Shepherd (Springer, 2021)