Recursive functions of S-expressions and their computation by machine (1960)www-formal.stanford.edu3 pointsandrelaszlo2 years ago