Information Technology in Geo-Engineering - Correia, António Gomes (Springer International Publishing, 2020)