François Bourdoncle Semantic Analysis of Interval Congruences. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:128-141 [Conf]
François Bourdoncle Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. [Citation Graph (0, 0)][DBLP] PLILP, 1990, pp:307-323 [Conf]