Biernackaand Biernacki. A Context-based Approach to Proving Termination of Evaluation. Elsevier BV, 2009, doi:10.1016/j.entcs.2009.07.090.