Recursive functions of S-expressions and their computation by machine (1960) (www-formal.stanford.edu)