Richard Statman: Church's Lambda Delta Calculus. LPAR 2000: 293-307