"The size-change principle for program termination."

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics