Added Formal Research Paper