Backhouse, Roland, Doornbos, Henk, "Datatype-generic termination proofs", Theory of Computing Systems, 2008