Proof Technology in Mathematics Research and Teaching - Gila Hanna, David A. Reid, Michael de Villiers (Springer, 2019)