Deriving descriptions of possible values of program variables by means of abstract interpretation (1992)

by G Janssens, M Bruynooghe
Venue:Journal of Logic Programming, 13(2 & 3):205–258