C
[Chu63] Alonzo Church. Logic, arithmetic, and automata. In ICM'62, pages 23-35. 1963. 
@inproceedings{icm1962-Chu,
  author =              {Church, Alonzo},
  title =               {Logic, arithmetic, and automata},
  booktitle =           {{P}roceedings of the {I}nternational {C}ongress of
                         {M}athematicians ({ICM}'62)},
  acronym =             {{ICM}'62},
  pages =               {23-35},
  year =                {1963},
  confyear =            {1962},
  confmonth =           {8},
}
Liste des auteurs