Language definition and compiler writing : The correctness of an applicative language system. - C. J. Dollin (1984)