Technical documentation for how the model maps to the implementation

This document bridges the mathematical description in the referenced article to the types and variables that are used in the implementation.