A Handbook for Writing Formal Papers from Concept to Conclusion door