Chin Soon Lee Neil D. Jones Amir M. Ben-Amram The size-change principle for program termination. 81-92 2001 POPL http://doi.acm.org/10.1145/360204.360210 db/conf/popl/popl2001.html#LeeJB01