@article{moseley2006out,
  title={Out of the tar pit},
  author={Moseley, Ben and Marks, Peter},
  journal={Software Practice Advancement (SPA)},
  volume={2006},
  year={2006}
}

@article{Backus:1978:PLV:359576.359579,
 author = {Backus, John},
 title = {Can Programming Be Liberated from the Von Neumann Style?: A Functional Style and Its Algebra of Programs},
 journal = {Commun. ACM},
 issue_date = {Aug. 1978},
 volume = {21},
 number = {8},
 month = aug,
 year = {1978},
 issn = {0001-0782},
 pages = {613--641},
 numpages = {29},
 url = {http://doi.acm.org/10.1145/359576.359579},
 doi = {10.1145/359576.359579},
 acmid = {359579},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {algebra of programs, applicative computing systems, applicative state transition systems, combining forms, functional forms, functional programming, metacomposition, models of computing systems, program correctness, program termination, program transformation, programming languages, von Neumann computers, von Neumann languages},
} 

@misc{slicing,
    author = "{Wikipedia contributors}",
    title = "Program slicing --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2018",
    url = "https://en.wikipedia.org/w/index.php?title=Program_slicing&oldid=849621023",
    note = "[Online; accessed 16-August-2018]"
}


@inproceedings{elliott1997functional,
  title={Functional reactive animation},
  author={Elliott, Conal and Hudak, Paul},
  booktitle={ACM SIGPLAN Notices},
  volume={32},
  number={8},
  pages={263--273},
  year={1997},
  organization={ACM}
}