Thomas W. Reps, Aditya V. Thakur: Automating Abstract Interpretation. VMCAI 2016: 3-40