@Article{10.1145/367177.367199,
  author       = {McCarthy, John},
  title        = {Recursive functions of symbolic expressions and their computation by machine, part i},
  year         = {1960},
  issue_date   = {April 1960},
  publisher    = {Association for Computing Machinery},
  address      = {New York, NY, USA},
  volume       = {3},
  number       = {4},
  issn         = {0001-0782},
  url          = {\url{https://doi.org/10.1145/367177.367199}},
  doi          = {10.1145/367177.367199},
  journal      = {Commun. ACM},
  month        = {apr},
  pages        = {184--195},
  numpages     = {12}
}

@Book{mccarthy1965lisp,
  title        = {Lisp 1.5 Programmer's Manual},
  author       = {McCarthy, John and Abrahams, P.W. and Edwards, D.J. and Hart, T.P. and Levin, M.I.},
  year         = {1965},
  publisher    = {MIT Press},
  edition      = {2}
}

@Book{church1941calculi,
  title        = {The Calculi of Lambda-Conversion},
  author       = {Church, Alonzo},
  year         = {1941},
  publisher    = {Princeton University Press}
}