Jean-Jacques Lévy: An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus. Lambda-Calculus and Computer Science Theory 1975: 147-165