McCarthy publicó su diseño en 1960 en un artículo de Communications of the ACM titulado "Funciones recursivas de expresiones simbólicas y su cómputo a máquina, Parte I" (la "parte II" nunca fue publicada).