Backus, John Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. (English) Zbl 0383.68013 Commun. ACM 21, 613-641 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 ReviewsCited in 123 Documents MSC: 68N01 General topics in the theory of software 68Q60 Specification and verification (program logics, model checking, etc.) 68Q65 Abstract data types; algebraic specification 68Q05 Models of computation (Turing machines, etc.) (MSC2010) PDF BibTeX XML Cite \textit{J. Backus}, Commun. ACM 21, 613--641 (1978; Zbl 0383.68013) Full Text: DOI