Mining Goes Digital - Mueller, Christoph (CRC Press, 2019)