Alessandra Di Pierro Herbert Wiklicky On the precision of abstract interpretations. 2000 LOPSTR ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-dipierro.ps.Z db/conf/lopstr/lopstr2000.html#PierroW00