"Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng