F. Nielson and H. R. Nielson, “Termination analysis based on operational semantics”, DPB, vol. 24, no. 492, Mar. 1995.