A Calculus of Lambda Calculus Contexts. - Mirna Bognar; Roel C. de Vrijer (J. Autom. Reason., 2001)