John Fitch Julian A. Padget A Pure and Really Simple Initial Functional Algebraic Language. 148-158 1984 conf/eurosam/1984 EUROSAM Computation db/conf/eurosam/eurosam1984.html#FitchP84 http://dx.doi.org/10.1007/BFb0032838