Added file appendix_a.tex