@misc{W2045255985,
  author = {John McCarthy},
  title = {Recursive functions of symbolic expressions and their computation by machine, Part I},
  year = {1960},
  howpublished = {Communications of the ACM},
  doi = {https://doi.org/10.1145/367177.367199}
}