Verifying Calculations - Forty Years On - Chamoin, Ludovic; Diez, Pedro; Díez, Pedro (Springer International Publishing, 2016)