Added implementation subsection tex files