1
Primitive recursive programs for defining tree functions.
Book
2
Note on a narrowing machine for syntax directed babel.
Book