abstract-interpretation-couset-couset A modern "translation" of Cousot and Cousot's original paper on abstract interpretation (1977)