Patrick Cousot Automatic Verification by Abstract Interpretation. 20-24 2003 conf/vmcai/2003 VMCAI http://link.springer.de/link/service/series/0558/bibs/2575/25750020.htm db/conf/vmcai/vmcai2003.html#Cousot03