Can programming be liberated from the von Neumann style?
..
John Backus
’s turing lecture (1978).
https://dl.acm.org/doi/10.1145/359576.359579