Grammers for Functional Languages
Find this in a Library
In the 1977 Turing award lecture  Backus introduced the applicative language FP and extended the language in . It is a language driven by the notion of functional composition. Following the standard mathematical approach the method of evaluation was an innermost first composition driven strategy.
(1986). Grammers for Functional Languages. CSC '86 Proceedings of the 1986 ACM Fourteenth Annual Conference on Computer Science, 155-163.