Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs (1978)

by Backus J Can