Nielson, F. and Nielson, H. R. (1995) “Termination analysis based on operational semantics”, DAIMI Report Series, 24(492). doi: 10.7146/dpb.v24i492.7020.