《魏书·帝纪·卷八》
三月，三关别将李世哲大败群蛮，杀了萧衍龙骧将军文思之、文天生。
三月，三关别将李世哲大破群蛮，斩萧衍龙骧将军文思之、文天生。
In the third month, the general of the three passes LI Shizhe routed the barbarian hordes, killing WEN Sixi and WEN Tiansheng, generals of the Xianglong army of XIAO Yan.