Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of ProgramsJohn Backus1978CACMPaper
Programming language semantics and closed applicative languagesJohn Backus1973POPL 1973Conference paper