John W. Backus Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs. 613-641 1978 21 Commun. ACM 8 db/journals/cacm/cacm21.html#Backus78