Mathematical Reasoning: The History and Impact of the DReaM Group - Gregory Michaelson (Springer, 2021)