URI: 
  TEXT The article
   BIN Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part 1