Structuring FP-style functional programs

Backus, 1978, Can programming be liberated from the von Neuman style? A functional style and its algebra of programs, Commun. ACM, 21, 613, 10.1145/359576.359579 Morris, 1982, Real programming in functional language, 129 Morris, 1982, The convention of writing postfix notation for functional application is important, 17, 14 Brainerd, 1974, Theory of Computation, 336 Davis, 1958, Computability and Unsolvability, 210 Backus, 1981, The algebra of functional programs: function level reasoning, linear equations, and extended definitions, 107, 1 Williams, 1982, Notes on the FP style of functional programming, 73 Fleck, 1985, Babble Reference Manual Harel, 1980, On folk theorems, Commun. ACM, 23, 379, 10.1145/358886.358892 Breidbart, 1970, APL and the Grzegarczyk hierarchy, APL Quote Quad, 9, 271, 10.1145/390009.804472 Lipton, 1978, On the power of applicative languages