HomeSearchLibrary
Primitive recursive functions | OmniWiki