- Guy Cousineau, Pierre-Louis Curien, Bernard Robinet, editors, Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d Ajol, France, May 6-10, 1985, Proceedings. Volume 242 of Lecture Notes in Computer Science, Springer, 1986.