Junyan Qian Lingzhong Zhao Guoyong Cai Tianlong Gu Automatic Construction of Complete Abstraction by Abstract Interpretation. 927-932 2009 ACIS-ICIS http://dx.doi.org/10.1109/ICIS.2009.145 conf/ACISicis/2009 db/conf/ACISicis/ACISicis2009.html#QianZCG09