Can programming be liberated from the von neumann style? A functional style and its algebra of programs (1978)

by J Backus
Venue:Communications of the ACM