Recurse : a Plato lesson on recursion /

Bibliography: p. 62.

A recursively defined ordering for proving termination of term rewriting systems /

NSF MCS 77-22830."

The recursive nature of descriptions : a fixed point /

"UIUC-ENG-R-75-2539."