Jean-Jacques Lévy An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus. 147-165 1975 conf/lambda/1975 Lambda-Calculus and Computer Science Theory db/conf/lambda/lambda1975.html#Levy75