Nielson, F., and H. R. Nielson. “Termination Analysis Based on Operational Semantics”. DAIMI Report Series, vol. 24, no. 492, Mar. 1995, doi:10.7146/dpb.v24i492.7020.