Brian Demsky Martin C. Rinard Static Specification Analysis for Termination of Specification-Based Data Structure Repair. 71-84 2003 conf/issre/2003 ISSRE http://csdl.computer.org/comp/proceedings/issre/2003/2007/00/20070071abs.htm db/conf/issre/issre2003.html#DemskyR03