20世紀の名著名論：John Backus: Can Programming Be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs