Detailed specification documents for the recur project internals.