Henry Towsner: Epsilon substitution for transfinite induction. Arch. Math. Log. 44(4): 397-412 (2005)