Proof Technology in Mathematics Research and Teaching - Hanna, Gila (Springer International Publishing, 2019)