The Size-Change Principle for Program Termination (2001)

by Chin Soon Lee, Neil D. Jones, Amir M. Ben-amram