-C. Böhm, lambda-Calculus and Computer Science Theory, Proceedings 1975, Springer-Verlag 1975