formal相关论文