Yi Lv Huimin Lin Hong Pan Computing Invariants for Parameter Abstraction. 29-38 2007 conf/memocode/2007 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2007.371252 db/conf/memocode/memocode2007.html#LvLP07