John Backus: Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs

http://www.thocp.net/biographies/papers/backus_turingaward_l...