"Reducibility Proofs in the λ-Calculus."

Fairouz Kamareddine, Vincent Rahli, J. B. Wells (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics