[DOC-PROJ] Complete formal paper.