See SelfReferential.
SeeAlso Recursive.