1
Primitive recursive programs for defining tree functions.
Book