A Pure and Really Simple Initial Functional Algebraic Language

John Fitch, Julian A. Padget. A Pure and Really Simple Initial Functional Algebraic Language. In John Fitch, editor, EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984, Proceedings. Volume 174 of Lecture Notes in Computer Science, pages 148-158, Springer, 1984.