Nielson, F.; Nielson, H. R. Termination Analysis Based on Operational Semantics. DPB 1995, 24.