Richard Statman: On The Lambda Y Calculus. LICS 2002: 159-166