Baudouin Le Charlier Kaninda Musumbu Pascal Van Hentenryck A Generic Abstract Interpretation Algorithm and its Complexity Analysis. 64-78 1991 ICLP db/conf/iclp/iclp91.html#CharlierMH91