Also, Backus&#x27; 1977 Turing Award lecture &quot;Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs&quot; (<a href="http:&#x2F;&#x2F;worrydream.com&#x2F;refs&#x2F;Backus-CanProgrammingBeLiberated.pdf" rel="nofollow">http:&#x2F;&#x2F;worrydream.com&#x2F;refs&#x2F;Backus-CanProgrammingBeLiberated....</a>) would be a good read.