Wolfgang Spohn: Enumerative induction. TARK 2003: 131-144