Update documentation

Spellchecking. Add formal aspects to guide for thesis.