Finish matter on Edmonds blossom algorithm.
Fix definition numbering. Closes #21.
Add missing labels.
Add newly referenced literature.