Jean-Pierre Jouannaud Functional Programming Languages and Computer Architecture, Nancy, France, September 16-19, 1985, Proceedings FPCA Lecture Notes in Computer Science 201 Springer 1985 3-540-15975-4 db/conf/fpca/fpca85.html