Can Programming be liberated of the Von Neumann style? A functional style and its algebra of programs (1978)

by J Backus
Venue:CACM