Combinatory Logic by Haskell B. Curry, Lev D. Beklemishev & Lev Beklemishev