-Functional Programming Languages and Computer Architecture. Proceedings, Springer-Verlag 1985. Edited by J.-P. Jouannaud. VI, 413 pages, 1985