This contains the appendix to the master thesis of Abel Boros - View it on GitHub