History of abstract interpretation - Giacobazzi, Roberto; Ranzato, Francesco (2022)