C
[Chu60] Alonzo Church. Applications of recursive arithmetic to the problem of circuit synthesis. In Summaries of the Summer Institute of Symbolic Logic – Volume 1, pages 3-50. Institute for Defense Analyses, 1960. 
@inproceedings{sisl1957-Chu,
  author =              {Church, Alonzo},
  title =               {Applications of recursive arithmetic to the problem
                         of circuit synthesis},
  booktitle =           {{S}ummaries of the {S}ummer {I}nstitute of
                         {S}ymbolic {L}ogic~-- Volume~1},
  publisher =           {Institute for Defense Analyses},
  pages =               {3-50},
  year =                {1960},
  confyear =            {1957},
}
Liste des auteurs