《魏书》列传·卷五十九

裴叔业夏侯道迁李元护席法友王世弼江悦之淳于诞李苗

共参经略。时衍益州刺史萧渊猷遣将樊文炽、萧世澄等率众数万围小剑戍，益州刺史邴虬令子建拒之。因转营，为文炽所掩，统军胡小虎、崔珍宝并见俘执。子建遣诞助讨之。诞勒兵驰赴，相对月余，未能摧殄。文炽军行之谷，东峰名龙须山，置栅其上以防归路。诞以贼众难可角力，乃密募壮士二百余人，令夜登山攻其栅。及时火起，烟焰涨天。贼以还途不守，连营震怖。诞率诸军鸣鼓攻击，文炽大败，俘斩万计，擒世澄等十一人。文炽为元帅，先走获免。

孝昌初