@article{Backus78,
  author = "Backus, John",
  title = "{Can programming be liberated from the von Neumann style? A functional style and its algebra of programs}",
  journal = "Communications of the ACM",
  volume = "21",
  number = "8",
  pages = "613-641",
  month = "Aug.",
  year = "1978",
  url = "http://www.cs.berkeley.edu/~jcondit/pl-prelim/backus78fp.pdf",
}