The calculational design of a generic abstract interpreter (1999)

by P Cousot
Venue:Calculational System Design. NATO ASI Series F. IOS