added .tex files for the literate documents