John Backus: Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs<p><a href="http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf" rel="nofollow">http://www.thocp.net/biographies/papers/backus_turingaward_l...</a>