Can Programming Be Liberated From The Von Neumann Style? (1977) [pdf]
It already has, unfortunately it's not too popular.  This is why Prolog gives most folks a case of headache. My moment of enlightenment while studying Prolog happened when I realized that I wasn't logical, but trying to solve the problem in Von Neumann style.  I was humbled to see simple logic solutions in place of my overly complicated solutions.   This has made me such a better developer, I keep my code as declarative as possible.