Maybe also a section containing a reference implementation.

Or a formal proof, e.g. when discussing secure protocols.