Updated technical report. Resolves #49