Roberta Gori Giorgio Levi Properties of a Type Abstract Interpreter. 132-145 2003 conf/vmcai/2003 VMCAI http://link.springer.de/link/service/series/0558/bibs/2575/25750132.htm db/conf/vmcai/vmcai2003.html#GoriL03