This article is by one of the two inventors of abstract interpretation. Maybe you didn't find it helpful but it is definitely accurate.